Stav dette: Tractable Combinations of Global Constraints