let label_visible fm stmt label = let lab_key = PdgIndex.Key.label_key stmt label in Marks.key_visible fm lab_key