let
process_block pdg stmt blk =
add_blk_ctrl_dpds pdg (
Key
.stmt_key stmt) blk.bstmts