log/smt2perr118.smt2:1:30: body to 'let' at line 1 column 10 missing