Assertion: decision coverage | /r/CapableOf | imply statement coverage
Facets:
Source sentences:
text: Decision coverage implies statement coverage, because every statement is part of a branch.