SMS dit: Tractable combinations of global constraints