Branch coverage = proportion of branches covered