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