Improve branch summarization

It failed completely on more than one file! Removed the Branches label, and
no longer report missing branches implied by missing lines.