regress/parser/smt2perr123.smt2:1:52: missing body to 'let