Fix user-values in SMT-LIB v1.2
Fix a preprocessing performance issue.