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