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
        ~selection:(State_selection.Dynamic.with_dependencies Db.Value.self)
        ()
    end else
      feedback ~level:2 "requiring the computation of the value analysis";
    add_value_hook ();
    !Db.Value.compute ();
    Users.find kf
  end