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