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