adding visitor for Expr and Pred, TODO: refactor exprSymbols etc. to use visitor