add fixpoint calculation