let
transition_rule = transition_rule
Parameters
.rule_num