log/smt2perr089.smt2:1:10: 'ite' has 4 arguments too much