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