Fix user-values in SMT-LIB v1.2