16.1.4 The Boolean Operator ||

• V is definitely assigned after a || b when true iff V is definitely assigned after a when true and 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 or 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 false.