Apply the first implementation of BasicBlock marks[] to deadCodeElimination