let
find_call_ctrl_node pdg stmt =
let
key =
Key
.call_ctrl_key stmt
in
find_node pdg key