Member predicate BaseSSA::BaseSsaImplicitInit::captures

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

predicate captures(BaseSsaVariable capturedvar)