Agreed, this is a case where a small number of test cases would have been sufficient to cover the critical parts of the code and avoid this particular error and

Agreed, this is a case where a small number of test cases would have been sufficient to cover the critical parts of the code and avoid this particular error and many like it.