working on abstract interpretation example
working on abstract interpretation example