Member predicate ForeachCapture::LambdaDataFlowConfiguration::capturesLoopVarAndIsStoredIn

predicate capturesLoopVarAndIsStoredIn(AnonymousFunctionExpr lambda, Variable loopVar, Element storage)