regress/parser/smt2perr125.smt2:1:15: expected variable binding