Sure, it&#x27;s a very hard problem to <i>solve</i>. It&#x27;s much easier to <i>warn</i> against 80% of <i>potential</i> errors - the algorithm isn&#x27;t &quot;smart&quot; enough to fix them, but is smart enough to give the developer a push.