let add_depend pid = match !stack with | top::_ -> top.c_depends <- pid::top.c_depends | _ -> Wp_parameters.fatal "Datalib.Collector: empty stack"