Only keep variables around which are actually needed in successor blocks