This modules implements a computation of a fixpoints for valus that depends upon other values. Cycles are handled through update of references. If the fixpoint is not reached, this might loop.