log/smt2perr111.smt2:1:10: 'not' with 0 arguments but expected exactly one