File:SetConstraintsAbstractInterpretation svg.svg Source: en.wikipedia.org/wiki/File:SetConstraintsAbstractInterpretation_svg.svg