V is definitely assigned after a labeled statement L:S (where L is a label) iff V is definitely assigned after S and V is definitely assigned before every break statement that may exit the labeled statement L:S.
V is definitely assigned before S iff V is definitely assigned before L:S.