sources/0319_cmp_ne.c:3.11-23: [|y-10=0; -x+15>=0; x-11>=0|]
Output: [|y-10=0; -x+15>=0; x-10>=0|]