let remove_annotations_kf kf = (* remove annotations dependant on function (in fact all dependencies*) let s = RteGlobalTbl.get_state kf in Project.clear ~selection:(State_selection.Dynamic.only_dependencies s) ()