let set s =
set s;
Kf_containing_highlighted_stmt.clear ();
Stmt.Set.iter
(fun stmt ->
Kf_containing_highlighted_stmt.replace
(Kernel_function.find_englobing_kf stmt) ())
s;
!update_visibility ()