regress/parser/smt2perr095.smt2:2:30: expected terms of same sort at indices 1 and 2 as argument to 'ite'