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

ucsd-progsys/liquid-fixpoint,rolph-recto/liquid-fixpoint