regress/parser/smt2perr089.smt2:1:10: expected 3 arguments to 'ite', got 7