BoxedRuleSet: Set<BoxedRule>