StochasticSupervisor: abort() support.