Removed duplicate of lhs | rhs computed by the inclusive-or algorithm, because this xor automaton is already constructed in Parse.