So now that we introduced an additional criterion,
let's have a quiz to see whether everybody
understood the concept of subsumption. We know that
branch coverage subsumes statement coverage, but what about condition
coverage? Does it subsume branch coverage? Is it
the case that all of the test which
satisfy condition coverage will also satisfy branch coverage?
Think about it, and answer either yes or no.