Predicate SSA::Ssa::SsaImpl::isCapturedVariableDefinitionFlowOut

predicate isCapturedVariableDefinitionFlowOut(ExplicitDefinition def, ImplicitCallDefinition cdef, boolean additionalCalls)