let process_call_node pdg call_stmt =
    let key = Key.call_ctrl_key call_stmt in
    let _new_node = add_elem pdg key in ()