#abstract interpretation #code green book