log/smt2perr123.smt2:1:52: body to 'let' at line 1 column 32 missing