let get_label_mark ff label_stmt label =
  let key = PdgIndex.Key.label_key label_stmt label in
    get_node_key_mark ff key