The ValueSets are recalculated in the established topological ordering, with looping at various levels until a fixed point is reached. \param max is the maximum number of iterations to allow before forcing termination \param widener is the Widening strategy to use to accelerate stabilization
source not stored for this graph (policy: none)