working on abstract interpretation example