log/smt2perr037.smt2:1:40: expected '(' or 'Bool' at '_'