Improved the CFGDotPrinter to print all the sorted nodes first and all the sorted edges second. They are sorted by increasig line and column numbers