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