Really? That's surprising. Maybe they think the case where it fails is not susceptible to occur during a normal execution of the program. This reasoning could w

Really? That's surprising. Maybe they think the case where it fails is not susceptible to occur during a normal execution of the program. This reasoning could work if you don't define "a normal execution" :-)