feat: remove Finite conditions from iterator consumers relying on a new fixpoint combinator

feat: remove Finite conditions from iterator consumers relying on a new fixpoint combinator #10354