File talk:Combination of abstract domains.svg

While the image is correct, it could be made a little bit more specific: In the else branch, after x = 1-4*x;, the set of possible concrete values (red) can be reduced from {1, 3, 5, ...} to {1, 5, 9, ...}.