You sound like you make a refutation, but you really don't. This whole discussion is about giving tools to developers that are systematically less error-prone,

You sound like you make a refutation, but you really don't. This whole discussion is about giving tools to developers that are systematically less error-prone, which your quote suggests would have been helpful to that specific development team.