The main thing I was looking for was efficiency. The new algorithm
is not recursive, it considers a bunch of outputs at the same time,
and it uses toposort to traverse the graph, making sure each node is seen
only once.