Function propagateTransitiveSideEffects

propagateTransitiveSideEffects(
    this: void,
    graph: DataflowGraph,
    environment: REnvironmentInformation,
    ctx: FlowrAnalyzerContext,
): {
    environment: REnvironmentInformation;
    escapedNames: Set<string>;
    grew: boolean;
}
Propagates every function's escaped side effects (attached packages and <<- definitions) to its transitive callers.
Parameters
- this: void
- graph: DataflowGraph
- environment: REnvironmentInformation
- ctx: FlowrAnalyzerContext
Returns {
    environment: REnvironmentInformation;
    escapedNames: Set<string>;
    grew: boolean;
}
the enriched top-level environment and whether it grew (so the extractor can re-link and re-run to a fixpoint).
- Defined in src/dataflow/internal/process/functions/call/built-in/transitive-side-effects.ts:235