let
process_block pdg stmt blk =
let
key =
Key
.stmt_key stmt
in
add_blk_ctrl_dpds pdg key blk.bstmts