Factor topological order code to SelectionDAG. Clean up.