12.3.3.13 Try-catch statements

12.3.3.13 Try-catch statements
For a statement stmt of the form:
try try-block
catch(.) catch-block-1
.
catch(.) catch-block-n
. The definite assignment state of v at the beginning of try-block is the
same as the definite
assignment state of v at the beginning of stmt.
. The definite assignment state of v at the beginning of catch-block-i (for
any i) is the same as the
definite assignment state of v at the beginning of stmt.
. The definite assignment state of v at the end-point of stmt is definitely
assigned if (and only if) v is
definitely assigned at the end-point of try-block and every catch-block-i
(for every i from 1 to n).