Add specs for Constraint::Rule
Spec for RuleSet