try {}
finally {
    for (;;){
        if (abc) break
    }
}
cde
-----
0(1) element: null
1(3) element: Open block
2(5) element: Finally clause
3(2,4)  CALL 2
4(11) AFTER CALL 3
5(6) element: For statement
6(7) element: Block statement
7(8) element: IF statement
8(9,10) READ abc
9(5) End element: IF statement
10(4)  RETURN
11(12) READ cde
12(13) element: Reference expression MAYBE_RETURN
13() element: null