Added reduction for ffixpoints