Those cases occur very often, and they don't need to be built and executed because, by definition, those cases won't have conflicts detected.