Propagating Conjunctions of AllDifferent Constraints