Assertion: opaque predicate | /r/HasProperty | branch
Facets:
value: in the academic literature
type: LOCATION
Source sentences:
text: In the academic literature, an opaque predicate is referred to as a branch that always executes in one direction, which is known to the creator of the program, and which is unknown a priori to the analyzer.