Symbol: find_enumerator_rule