DCHECK whether loop headers are covered fails. This reverts commit 891bc286. Change-Id: I0f9a90630b014b16d20ba1dfba31ce63e6648021