A review of some abstract interpretation systems