method private wake_up activator =
activation <- (self:>source)::activator ;
List.iter
(fun { transition = transition ; source = s } ->
s#get_ready ~dynamic:true activation ;
Lang.iter_sources
(fun s -> s#get_ready ~dynamic:true activation)
transition)
cases