Added the rule for mandatory transitions.