sources/0316_cmp_eq.c:3.11-23: [|-x+y=0; -x+20>=0; x-15>=0|]
Output: [|-x+30>=0; -y+20>=0; y-10>=0; x-15>=0|]