correct comments on abstract interpretation