Minor bug fix in calculating branch coverage for loop statements