*** Original PC ***
   Y0 - 10 <= 0
   Y0 - 13 <= 0
   Y0 - 7 <= 0
   Y0 - 6 <= 0
   Y0 - 12 <= 0
   Y0 - 4 <= 0
   Y0 - 11 <= 0
   Y0 - 9 <= 0
   Y0 - 8 <= 0
   Y0 - 5 <= 0
   0 == Y0 - 4
*** Minimized PC ***
   0 == Y0 - 4