sources/0311_cmp_le2.c:3.11-23: [|-x+y>=0; -y+17>=0; x-10>=0|]
Output: [|-x+20>=0; -y+17>=0; y-8>=0; x-10>=0|]