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