regress/parser/smt2perr074.smt2:2:10: expected at least 2 arguments to 'xor', got 1