Implement some checks based on abstract interpretation.