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