log/smt2perr090.smt2:2:14: first argument of 'ite' is an array