16.1.9 The Boolean Operator ==

• V is definitely assigned after a == b when true iff at least one of the following is true:
  • V is definitely assigned after b.
  • V is definitely assigned after a when true and V is definitely assigned after b when false.
  • V is definitely assigned after a when false and 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.
  • V is definitely assigned after a when true and V is definitely assigned after b when true.
  • 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.