Create FiniteSetRuleTest