Avoid instantiation of EvalDoubleVisitor

Add a comment explaining how it works. Now only one instance of
EvalDoubleVisitor needs to be constructed for the whole symbolic evaluation.