@spec add_edges(Graph.t(), [Reach.IR.Node.t()]) :: Graph.t()

Adds synthetic data-flow edges for known higher-order function calls.

Only adds edges for pure calls — impure functions (like Enum.each) use params for side effects, not return value production.