Symbol: enter_explicit_rule_from_dynamic_rule