16.2.1 Empty Statements

• V is definitely assigned after an empty statement iff it is definitely assigned before the empty statement.