I have not looked closely at your code, but I would observe that the scenario just described is extremely common, and therefore extremely likely.