This is a regression in 2.16. More precisely, writing "a < b" for "b 
depends on a", when a < b < c, the resulting graph should only contain 
the edges {a < b, b < c}, but not a < c.

In other words, we want to output the /transitive reduction/ of the
dependency graph (see https://en.wikipedia.org/wiki/Transitive_reduction).