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