log/smt2perr067.smt2:1:10: 'not' with 4 arguments but expected exactly one