16.1.3 The Boolean Operator &&

• V is definitely assigned after a && b when true iff V is definitely assigned after a when true or V is definitely assigned after b when true.
• V is definitely assigned after a && b when false iff V is definitely assigned after a when false and V is definitely assigned after b when false.
• V is definitely assigned before a iff V is definitely assigned before a && b.
• V is definitely assigned before b iff V is definitely assigned after a when true.