removed const attribute from ExprVisitor::Visit method's argument
implemented symbol replacement in mathdiff process