Default to XOR in automata, OR in assertions.

Explicit automata descriptions should use XOR, because it's what we usually mean in regular languages. In inline assertions, however, programmers usually mean "either A or B; both would also be fine".