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