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