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) ()