regress/parser/smt2perr118.smt2:1:30: missing body to 'let