SCC: added conversion of graph node labels to finish times