Implement branch coverage.

Next one up is path coverage!