Describir: Tractable Combinations of Global Constraints