16.2.12 synchronized Statements

• V is definitely assigned after synchronized (e) S iff V is definitely assigned after S.
• V is definitely assigned before e iff V is definitely assigned before the statement synchronized (e) S.
• V is definitely assigned before S iff V is definitely assigned after e.