log/smt2perr031.smt2:2:1: reached end-of-file but expected '(' or 'Bool'