let
process_entry_point pdg bstmts =
let
key =
Key
.entry_point
in
add_blk_ctrl_dpds pdg key bstmts