updated graph vertex predecessors and successors tracking