== test5 ==
fun test5() {
    var a: Int
    try {
        a = 3
    }
    finally {
        a = 5
    }
    a.hashCode()
}
---------------------
L0:
  1 <START>                                                              INIT: in: {} out: {}              USE: in: {} out: {}
  2 mark({ var a: Int try { a = 3 } finally { a = 5 } a.hashCode() })
    v(var a: Int)                                                        INIT: in: {} out: {a=D}
    mark(try { a = 3 } finally { a = 5 })                                INIT: in: {a=D} out: {a=D}
    jmp?(L2)
  3 mark({ a = 3 })
    r(3) -> <v0>
    w(a|<v0>)                                                            INIT: in: {a=D} out: {a=ID}
  2 jmp?(L2)                                                             INIT: in: {a=ID} out: {a=ID}
    jmp(L3)                                                                                                USE: in: {a=WRITTEN_AFTER_READ} out: {a=WRITTEN_AFTER_READ}
L2 [onExceptionToFinallyBlock]:
L4 [start finally]:
  3 mark({ a = 5 })                                                      INIT: in: {a=I?D} out: {a=I?D}
    r(5) -> <v2>                                                                                           USE: in: {a=ONLY_WRITTEN_NEVER_READ} out: {a=ONLY_WRITTEN_NEVER_READ}
    w(a|<v2>)                                                            INIT: in: {a=I?D} out: {a=ID}     USE: in: {} out: {a=ONLY_WRITTEN_NEVER_READ}
L5 [finish finally]:
  2 jmp(error)                                                           INIT: in: {a=ID} out: {a=ID}      USE: in: {} out: {}
L3 [skipFinallyToErrorBlock]:
L6 [copy of L2, onExceptionToFinallyBlock]:
  3 mark({ a = 5 })
    r(5) -> <v2>                                                                                           USE: in: {a=WRITTEN_AFTER_READ} out: {a=WRITTEN_AFTER_READ}
    w(a|<v2>)                                                                                              USE: in: {a=READ} out: {a=WRITTEN_AFTER_READ}
  2 merge(try { a = 3 } finally { a = 5 }|!<v1>) -> <v4>
    mark(a.hashCode())                                                                                     USE: in: {a=READ} out: {a=READ}
    r(a) -> <v5>                                                                                           USE: in: {} out: {a=READ}
    mark(hashCode())
    call(hashCode(), hashCode|<v5>) -> <v6>
L1:
  1 <END>                                                                INIT: in: {} out: {}
error:
    <ERROR>
sink:
    <SINK>                                                                                                 USE: in: {} out: {}
=====================