let
process_entry_point pdg bstmts =
add_blk_ctrl_dpds pdg
Key
.entry_point bstmts