let rec set proj kf = 
    try find proj kf
    with Not_found ->
      add proj kf ();
      debug 1 "select '%a' as fully visible (top or called by top)"
        Kernel_function.pretty kf;
      let callees = !Db.Users.get kf in
        Kernel_function.Hptset.iter (set proj) callees