In state-tracking rule, clarify that multiple transitions result in "OR"

[dennisrd]

If there are multiple transitions defined between two given states, it may not be clear that this amounts to specifying a disjunction of the individual transitions. This can be clarified e.g. by adding the word "OR" between transitions, in the same way that "and" is put in between the conditions inside one transition.