Member predicate SsaImplicitInit::captures
Holds if this is a closure variable that captures the value of capturedvar.
predicate captures(SsaVariable capturedvar)Holds if this is a closure variable that captures the value of capturedvar.
predicate captures(SsaVariable capturedvar)