regress/parser/smt2perr091.smt2:1:14: expected Boolean term at index 0 as argument to 'ite'