Convergence of Functional Iteration for Implicit ODE Steps