sources/0307_if_var.c:2.14-24: [|-x+20>=0; x>=0|]
sources/0307_if_var.c:3.7-17: [|-x-1>=0; x+10>=0|]
Output: [|-x+20>=0; x+10>=0|]