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