Assertion: cut | /r/HasProperty | inserted into code
Facets:
Source sentences:
text: While cuts can be inserted into codes containing errors, if a test is unnecessary because a cut has guaranteed that it is true, it is good practice to say so in a comment at the appropriate place.