Directed graph traversal, orderings and applications to data-flow analysis (eli.thegreenplace.net)