regress/parser/smt2perr162.smt2:2:19: expected Boolean term at index 1 as argument to 'xor'