Adding constraint XmodCeqZ