rewrite Constraints.seq(Rule)