Predicate DataFlow::DataFlow::Internal::implicitCapturedParameterNode

Holds if SSA definition node node is an implicit entry definition for captured local scope variable v.

predicate implicitCapturedParameterNode(SsaDefinitionNode node, LocalScopeVariable v)