let transition_rule = transition_rule rule_num