Added the reductions for the fixpoint