16.2.5 Expression Statements

• V is definitely assigned after an expression statement e; iff it is definitely assigned after e.
• V is definitely assigned before e iff it is definitely assigned before e;.