結果 : does branch coverage subsume statement coverage