Fixpoint for computing prefix of sequence.