Termination of interval Picard

During the past week Jan has been continuing to study the Picard method and its generalisation to the case of uncertain initial values. An interesting question that arises is how various representations of interval functions interact with time step and initial value precision in their effect on the termination of the method.