16.1.6 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 at least one of the following is true:
  • V is definitely assigned after b. (Note that if V is definitely assigned after a, it follows that V is definitely assigned after b.)
  • 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.