log/smt2perr087.smt2:1:10: one argument to 'ite' missing