abstract interpretation chapter, rc1