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