Added state domain and range extraction to RuleSet.