Assertion: coverage | /r/HasProperty | removed
Facets:
Source sentences:
text: A coverage will be removed (since the class is changed) but the class B coverage will remain in place (since the class did not change and the system does not try to run a static analysis on the possible code path implications of the class A change).