Function spec_rule_ids 

pub fn spec_rule_ids() -> BTreeSet<String>

Every ### `domain:rule` requirement address the embedded specs define.