Constraint Based Analysis Implementation of an algorithm from chapter 3 of "Principles of Program Analysis" by Flemming Nielson, Hanne R. Nielson, Chris Hankin.