Your code could be littered with branches that result in invalid data and should never happen, but are allowed. We found such a case where we allowed multiple ...