Casey sees the double-spend before the new block header. In this circumstance, Casey has no way to know if the double-spend was “supposed” to be included in the new block. Because it came before the block header, he is forced to assume that the new block should be orphaned. He does so, and Bob has now lost money.