let process_entry_point pdg bstmts =
      add_blk_ctrl_dpds pdg Key.entry_point bstmts