Measure branch coverage in addition to statement coverage