Solution (source code)

= Solution

A minimal <causal directed acyclic graph> has edges
$$
A\to Y,quad A\to M,quad M\to Y,quad M\to S,quad
Z\to A,quad D\to A,quad D\to C,quad C\to M,quad
G\to A,quad G\to Y,quad W\to Y.
$$