Implement the fixpoint operation of fast-forward