Modified fixpoint calculation.