Fix user-values in SMT-LIB v1.2
ensureLiteral() a bit earlier in arrays---seems to help some aufbv instances