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