<p>just a reminder that this 2-page Patrick Cousot paper exists</p><p><a href="https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL14-ACM-p2-3-2014.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">di.ens.fr/~cousot/publications</span><span class="invisible">.www/CousotCousot-POPL14-ACM-p2-3-2014.pdf</span></a></p>