A neighbour’s tree roots are pushing up my patio. A builder has suggested a root wall. I have never heard of these - on the face of it, it seems a good idea but I wonder if it could lead to other problems eg damage to drains etc