This is an unfinished basement on a 100 year old home. Seller says tree roots pushed at wall and he has had the tree removed 7 years ago. He says that it has not gotten any worse in that time. We had significant rain last night with no standing water, just mud residue from the past on the floor. I already recommended a structural engineer but wanted to get some opinions to make sure I’m not overreacting. Thanks for any input.