let
process_call_node pdg call_stmt =
ignore (add_elem pdg (
Key
.call_ctrl_key call_stmt))