V is definitely assigned after an empty block iff it is definitely assigned before the empty block.
V is definitely assigned after a nonempty block iff it is definitely assigned after the last statement in the block.
V is definitely assigned before the first statement of the block iff it is definitely assigned before the block.
V is definitely assigned before any other statement S of the block iff it is definitely assigned after the statement immediately preceding S in the block.