let
find_stmt_node pdg stmt = find_node pdg (
Key
.stmt_key stmt)