let annotation_visible _fm _stmt ~before:_ _annot = 
    (* all the annotation should have been selected by the analysis *)
    true