let get kf =
let find kf =
try Users.find kf
with Not_found -> Kernel_function.Hptset.empty
in
if Users.is_computed () then
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 ();
find kf
end