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