Module biodivine_sketchbook::algorithms::eval_dynamic::_attractors::itgr::_impl_scheduler