resolve a bug in branch coverage calculator