Activate valid bottleneck inequality (y<=x)