Assertion: basic block coverage | /r/CapableOf | eliminate this problem
Facets:
Source sentences:
text: Basic block coverage eliminates this problem.