The AllDifferent Constraint with Precedences