Assertion: contract's effect | /r/HasProperty | allowed
Facets:
Source sentences:
text: Invisible" side effects (such as logging) that do not affect important program semantics are allowed.