@alcinnzWe need to be addressing classes of problems in tooling so they don't happen again in the future. Depending on humans to write correct code of high complexity under time pressure is never going to work.
