topological order finished. tested against an artificial graph with a complicated loop, and tested against the eNovance usecase (the outputs are exactly the same, except for temp files, thanks to diff). Really seems to work. I left the debug output for now, just in case we need them in the future