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