let call_for_users (_state, call_stack) =
  Users.mark_as_computed ();
  match call_stack with
  | [] -> assert false
  | (current_function, _call_site) :: tail ->
      let treat_element (user, _call_site) =
        ignore
          (Users.memo
             ~change:(Kernel_function.Hptset.add current_function)
             (fun _ -> Kernel_function.Hptset.singleton current_function)
             user)
      in
      List.iter treat_element tail