regress/parser/smt2perr119.smt2:1:15: expected 2 arguments to variable binding, got 3