log/smt2perr095.smt2:2:10: third argument of 'ite' is an array but second not