Simplified alldifferent constraint