log/smt2perr063.smt2:3:1: expected expression but reached end-of-file