标签：对中间语言程序进行基本块划分后，对于那些未被纳入某一基本块中的语句，都可以从程序中删除