Add a demo for algorithm 8.7: Determining the liveness and next-use information foreach statement in a basic block.