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