Transition rules section is refactored.