regress/parser/smt2perr120.smt2:1:16: missing body to 'let