Member predicate SsaCapturedDefinition::captures
Holds if this definition captures the value of capturedvar.
predicate captures(SsaDefinition capturedvar)Holds if this definition captures the value of capturedvar.
predicate captures(SsaDefinition capturedvar)