16.2.6 if Statements

• V is definitely assigned after if (e) S iff V is definitely assigned after S and V is definitely assigned after e when false.
• V is definitely assigned before e iff V is definitely assigned before if (e) S. V is definitely assigned before S iff V is definitely assigned after e when true.
• V is definitely assigned after if (e) S else T iff V is definitely assigned after S and V is definitely assigned after T.
• V is definitely assigned before e iff V is definitely assigned before if (e) S else T. V is definitely assigned before S iff V is definitely assigned after e when true. V is definitely assigned before T iff V is definitely assigned after e when false.