Member predicate SSA::SsaImplicitInit::captures

Holds if this is a closure variable that captures the value of capturedvar.

predicate captures(SsaVariable capturedvar)