let process_skip pdg stmt =
    let key = Key.stmt_key stmt in
    let _new_node = add_elem pdg key in
      ()