Assertion: expression | /r/HasProperty | eliminated by the processing environment
Facets:
value: legally
type: MANNER
value: from the execution path
type: LOCATION
Source sentences:
text: It depends on the particular programming language specification whether an expression with no abstract side effects can legally be eliminated from the execution path by the processing environment in which the expression is evaluated.