Abort computation when any component of the enclosure is wider than the
limit specified in the ODE IVP.
Small improvements, refactorings.