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