ODE IVP specification has an invariant intersection component.  This
component is now used by the hybrid system solver to speed up solving.