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