log/smt2perr120.smt2:1:16: body to 'let' at line 1 column 10 missing