abstract interpretation initial work