sources/0321_cmp_rel.c:3.15-25: [|-y+20>=0; y-15>=0|]
Output: [|-x+y=0; -x+20>=0; x-10>=0|]