let rec set proj kf =
try find proj kf
with Not_found ->
add proj kf ();
debug 1 "select '%a' as fully visible (top or called by top)"
Kernel_function.pretty kf;
let callees = !Db.Users.get kf in
Kernel_function.Hptset.iter (set proj) callees