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