A map associating with each vertex its ancestor in Tarjan's algorithm

Property definitions

graph $ TarjanAlgorithm :: ancestor=
	# A map associating with each vertex its ancestor in Tarjan's algorithm
	var ancestor = new HashMap[V, Int]
lib/graph/digraph.nit:628,2--629,35