log/smt2perr086.smt2:1:10: 2 arguments to 'ite' missing