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