let transition_rule = transition_rule_rrcs2d Parameters.rule_num