*** Original PC ***
   Y0 - 2 <= 0
   Y0 + 1 <= 0
*** Minimized PC ***
   Y0 + 1 <= 0