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