log/smt2perr036.smt2:1:26: expected '(' or 'Bool' at '_'