Stav dette: Tractable combinations of global constraints