Sure, it's a very hard problem to solve. It's much easier to warn against 80% of potential errors - the algorithm isn't "smart" enough to fix them, but is smart

Sure, it's a very hard problem to solve. It's much easier to warn against 80% of potential errors - the algorithm isn't "smart" enough to fix them, but is smart enough to give the developer a push.