Better definition of topsort and dagifyDijkstra
Better rule merging test coverage and a rule merge bug fix.