Fix user-values in SMT-LIB v1.2
Fix a preprocessing performance issue.
some work to distinguish EOF parser exceptions from others (to make interactive mode support >1-line inputs)