Create FiniteSetRuleImpl