log/smt2perr085.smt2:1:10: 3 arguments to 'ite' missing