let get kf = 
  if Users.is_computed () then
    Users.find kf
  else begin
    if Db.Value.is_computed () then begin
      feedback "requiring again the computation of the value analysis";
      Project.clear
        ~only:
        (Project.Selection.singleton Db.Value.self Kind.Select_Dependencies)
        ()
    end else
      feedback ~level:2 "requiring the computation of the value analysis";
    add_value_hook ();
    !Db.Value.compute ();
    Users.find kf
  end