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