== t1 ==
fun t1() {
  try {
    1
  } finally {
    2
  }
}
---------------------
l0:
    <START>          NEXT:[r(try { 1 } finally { 2 }) ]    PREV:[]
    r(try {      
        1        
      } finally {
        2        
      })             NEXT:[r(1)]                           PREV:[<START>]
    r(1)             NEXT:[r(2)]                           PREV:[r(try { 1 } finally { 2 }) ]
l2:
    r(2)             NEXT:[<END>]                          PREV:[r(1)]
l1:
l3:
    <END>            NEXT:[<SINK>]                         PREV:[r(2)]
error:
    <ERROR>          NEXT:[<SINK>]                         PREV:[]
sink:
    <SINK>           NEXT:[]                               PREV:[<ERROR>, <END>]
=====================
== t2 ==
fun t2() {
  try {
    1
    if (2 > 3) {
      return
    }
  } finally {
    2
  }
}
---------------------
l0:
    <START>             NEXT:[r(try { 1 if (2 > 3) { retur..)]    PREV:[]
    r(try {         
        1           
        if (2 > 3) {
          return    
        }           
      } finally {   
        2           
      })                NEXT:[r(1)]                               PREV:[<START>]
    r(1)                NEXT:[r(2)]                               PREV:[r(try { 1 if (2 > 3) { retur..)]
    r(2)                NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)            NEXT:[jf(l2)]                             PREV:[r(>)]
    jf(l2)              NEXT:[read (Unit), r(2)]                  PREV:[r(2 > 3)]
    r(2)                NEXT:[ret l1]                             PREV:[jf(l2)]
    ret l1              NEXT:[<END>]                              PREV:[r(2)]
-   jmp(l3)             NEXT:[r(2)]                               PREV:[]
l2:
    read (Unit)         NEXT:[r(2)]                               PREV:[jf(l2)]
l3:
l4:
    r(2)                NEXT:[<END>]                              PREV:[read (Unit)]
l1:
l5:
    <END>               NEXT:[<SINK>]                             PREV:[ret l1, r(2)]
error:
    <ERROR>             NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>              NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t3 ==
fun t3() {
  try {
    1
    @{ () =>
        if (2 > 3) {
          return@
        }
    }
  } finally {
    2
  }
}
---------------------
l0:
    <START>                 NEXT:[r(try { 1 @{ () => if (2 > 3..)]                                     PREV:[]
    r(try {             
        1               
        @{ () =>        
            if (2 > 3) {
              return@   
            }           
        }               
      } finally {       
        2               
      })                    NEXT:[r(1)]                                                                PREV:[<START>]
    r(1)                    NEXT:[jmp?(l2)]                                                            PREV:[r(try { 1 @{ () => if (2 > 3..)]
    jmp?(l2)                NEXT:[r({ () => if (2 > 3) { retur..), d({ () => if (2 > 3) { retur..)]    PREV:[r(1)]
    d({ () =>           
            if (2 > 3) {
              return@   
            }           
        })                  NEXT:[<SINK>]                                                              PREV:[jmp?(l2)]
l2:
    r({ () =>           
            if (2 > 3) {
              return@   
            }           
        })                  NEXT:[r(2)]                                                                PREV:[jmp?(l2)]
l7:
    r(2)                    NEXT:[<END>]                                                               PREV:[r({ () => if (2 > 3) { retur..)]
l1:
l8:
    <END>                   NEXT:[<SINK>]                                                              PREV:[r(2)]
error:
    <ERROR>                 NEXT:[<SINK>]                                                              PREV:[]
sink:
    <SINK>                  NEXT:[]                                                                    PREV:[<ERROR>, <END>, d({ () => if (2 > 3) { retur..)]
l3:
    <START>        NEXT:[r(())]                  PREV:[]
    r(())          NEXT:[r(2)]                   PREV:[<START>]
    r(2)           NEXT:[r(3)]                   PREV:[r(())]
    r(3)           NEXT:[r(>)]                   PREV:[r(2)]
    r(>)           NEXT:[r(2 > 3)]               PREV:[r(3)]
    r(2 > 3)       NEXT:[jf(l5)]                 PREV:[r(>)]
    jf(l5)         NEXT:[read (Unit), ret l4]    PREV:[r(2 > 3)]
    ret l4         NEXT:[<END>]                  PREV:[jf(l5)]
-   jmp(l6)        NEXT:[<END>]                  PREV:[]
l5:
    read (Unit)    NEXT:[<END>]                  PREV:[jf(l5)]
l4:
l6:
    <END>          NEXT:[<SINK>]                 PREV:[ret l4, read (Unit)]
error:
    <ERROR>        NEXT:[<SINK>]                 PREV:[]
sink:
    <SINK>         NEXT:[]                       PREV:[<ERROR>, <END>]
=====================
== anonymous_0 ==
{ () =>
        if (2 > 3) {
          return@
        }
    }
---------------------
l3:
    <START>        NEXT:[r(())]                  PREV:[]
    r(())          NEXT:[r(2)]                   PREV:[<START>]
    r(2)           NEXT:[r(3)]                   PREV:[r(())]
    r(3)           NEXT:[r(>)]                   PREV:[r(2)]
    r(>)           NEXT:[r(2 > 3)]               PREV:[r(3)]
    r(2 > 3)       NEXT:[jf(l5)]                 PREV:[r(>)]
    jf(l5)         NEXT:[read (Unit), ret l4]    PREV:[r(2 > 3)]
    ret l4         NEXT:[<END>]                  PREV:[jf(l5)]
-   jmp(l6)        NEXT:[<END>]                  PREV:[]
l5:
    read (Unit)    NEXT:[<END>]                  PREV:[jf(l5)]
l4:
l6:
    <END>          NEXT:[<SINK>]                 PREV:[ret l4, read (Unit)]
error:
    <ERROR>        NEXT:[<SINK>]                 PREV:[]
sink:
    <SINK>         NEXT:[]                       PREV:[<ERROR>, <END>]
=====================
== t4 ==
fun t4() {
  @{ () =>
    try {
      1
      if (2 > 3) {
        return@
      }
    } finally {
      2
    }
  }
}
---------------------
l0:
    <START>               NEXT:[jmp?(l2)]                                                            PREV:[]
    jmp?(l2)              NEXT:[r({ () => try { 1 if (2 > 3)..), d({ () => try { 1 if (2 > 3)..)]    PREV:[<START>]
    d({ () =>         
        try {         
          1           
          if (2 > 3) {
            return@   
          }           
        } finally {   
          2           
        }             
      })                  NEXT:[<SINK>]                                                              PREV:[jmp?(l2)]
l2:
    r({ () =>         
        try {         
          1           
          if (2 > 3) {
            return@   
          }           
        } finally {   
          2           
        }             
      })                  NEXT:[<END>]                                                               PREV:[jmp?(l2)]
l1:
    <END>                 NEXT:[<SINK>]                                                              PREV:[r({ () => try { 1 if (2 > 3)..)]
error:
    <ERROR>               NEXT:[<SINK>]                                                              PREV:[]
sink:
    <SINK>                NEXT:[]                                                                    PREV:[<ERROR>, <END>, d({ () => try { 1 if (2 > 3)..)]
l3:
    <START>               NEXT:[r(())]                              PREV:[]
    r(())                 NEXT:[r(try { 1 if (2 > 3) { retur..)]    PREV:[<START>]
    r(try {           
          1           
          if (2 > 3) {
            return@   
          }           
        } finally {   
          2           
        })                NEXT:[r(1)]                               PREV:[r(())]
    r(1)                  NEXT:[r(2)]                               PREV:[r(try { 1 if (2 > 3) { retur..)]
    r(2)                  NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                  NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                  NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)              NEXT:[jf(l5)]                             PREV:[r(>)]
    jf(l5)                NEXT:[read (Unit), r(2)]                  PREV:[r(2 > 3)]
    r(2)                  NEXT:[ret l4]                             PREV:[jf(l5)]
    ret l4                NEXT:[<END>]                              PREV:[r(2)]
-   jmp(l6)               NEXT:[r(2)]                               PREV:[]
l5:
    read (Unit)           NEXT:[r(2)]                               PREV:[jf(l5)]
l6:
l7:
    r(2)                  NEXT:[<END>]                              PREV:[read (Unit)]
l4:
l8:
    <END>                 NEXT:[<SINK>]                             PREV:[ret l4, r(2)]
error:
    <ERROR>               NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== anonymous_1 ==
{ () =>
    try {
      1
      if (2 > 3) {
        return@
      }
    } finally {
      2
    }
  }
---------------------
l3:
    <START>               NEXT:[r(())]                              PREV:[]
    r(())                 NEXT:[r(try { 1 if (2 > 3) { retur..)]    PREV:[<START>]
    r(try {           
          1           
          if (2 > 3) {
            return@   
          }           
        } finally {   
          2           
        })                NEXT:[r(1)]                               PREV:[r(())]
    r(1)                  NEXT:[r(2)]                               PREV:[r(try { 1 if (2 > 3) { retur..)]
    r(2)                  NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                  NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                  NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)              NEXT:[jf(l5)]                             PREV:[r(>)]
    jf(l5)                NEXT:[read (Unit), r(2)]                  PREV:[r(2 > 3)]
    r(2)                  NEXT:[ret l4]                             PREV:[jf(l5)]
    ret l4                NEXT:[<END>]                              PREV:[r(2)]
-   jmp(l6)               NEXT:[r(2)]                               PREV:[]
l5:
    read (Unit)           NEXT:[r(2)]                               PREV:[jf(l5)]
l6:
l7:
    r(2)                  NEXT:[<END>]                              PREV:[read (Unit)]
l4:
l8:
    <END>                 NEXT:[<SINK>]                             PREV:[ret l4, r(2)]
error:
    <ERROR>               NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t5 ==
fun t5() {
  @ while(true) {
    try {
      1
      if (2 > 3) {
        break @
      }
    } finally {
      2
    }
  }
}
---------------------
l0:
    <START>               NEXT:[r(while(true) { try { 1 if (..)]    PREV:[]
    r(while(true) {   
        try {         
          1           
          if (2 > 3) {
            break @   
          }           
        } finally {   
          2           
        }             
      })                  NEXT:[r(true)]                            PREV:[<START>]
l2:
l5:
    r(true)               NEXT:[r(try { 1 if (2 > 3) { break..)]    PREV:[r(while(true) { try { 1 if (..), jmp(l2)]
l4:
    r(try {           
          1           
          if (2 > 3) {
            break @   
          }           
        } finally {   
          2           
        })                NEXT:[r(1)]                               PREV:[r(true)]
    r(1)                  NEXT:[r(2)]                               PREV:[r(try { 1 if (2 > 3) { break..)]
    r(2)                  NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                  NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                  NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)              NEXT:[jf(l6)]                             PREV:[r(>)]
    jf(l6)                NEXT:[read (Unit), r(2)]                  PREV:[r(2 > 3)]
    r(2)                  NEXT:[jmp(l3)]                            PREV:[jf(l6)]
    jmp(l3)               NEXT:[read (Unit)]                        PREV:[r(2)]
-   jmp(l7)               NEXT:[r(2)]                               PREV:[]
l6:
    read (Unit)           NEXT:[r(2)]                               PREV:[jf(l6)]
l7:
l8:
    r(2)                  NEXT:[jmp(l2)]                            PREV:[read (Unit)]
l9:
    jmp(l2)               NEXT:[r(true)]                            PREV:[r(2)]
l3:
    read (Unit)           NEXT:[<END>]                              PREV:[jmp(l3)]
l1:
    <END>                 NEXT:[<SINK>]                             PREV:[read (Unit)]
error:
    <ERROR>               NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t6 ==
fun t6() {
  try {
    @ while(true) {
        1
        if (2 > 3) {
          break @
        }
      }
      5
  } finally {
    2
  }
}
---------------------
l0:
    <START>                 NEXT:[r(try { @ while(true) { 1 if..)]    PREV:[]
    r(try {             
        @ while(true) { 
            1           
            if (2 > 3) {
              break @   
            }           
          }             
          5             
      } finally {       
        2               
      })                    NEXT:[r(while(true) { 1 if (2 > 3)..)]    PREV:[<START>]
    r(while(true) {     
            1           
            if (2 > 3) {
              break @   
            }           
          })                NEXT:[r(true)]                            PREV:[r(try { @ while(true) { 1 if..)]
l2:
l5:
    r(true)                 NEXT:[r(1)]                               PREV:[r(while(true) { 1 if (2 > 3)..), jmp(l2)]
l4:
    r(1)                    NEXT:[r(2)]                               PREV:[r(true)]
    r(2)                    NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                    NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                    NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)                NEXT:[jf(l6)]                             PREV:[r(>)]
    jf(l6)                  NEXT:[read (Unit), jmp(l3)]               PREV:[r(2 > 3)]
    jmp(l3)                 NEXT:[read (Unit)]                        PREV:[jf(l6)]
-   jmp(l7)                 NEXT:[jmp(l2)]                            PREV:[]
l6:
    read (Unit)             NEXT:[jmp(l2)]                            PREV:[jf(l6)]
l7:
    jmp(l2)                 NEXT:[r(true)]                            PREV:[read (Unit)]
l3:
    read (Unit)             NEXT:[r(5)]                               PREV:[jmp(l3)]
    r(5)                    NEXT:[r(2)]                               PREV:[read (Unit)]
l8:
    r(2)                    NEXT:[<END>]                              PREV:[r(5)]
l1:
l9:
    <END>                   NEXT:[<SINK>]                             PREV:[r(2)]
error:
    <ERROR>                 NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                  NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t7 ==
fun t7() {
  try {
    @ while(true) {
        1
        if (2 > 3) {
          break @
        }
      }
  } finally {
    2
  }
}
---------------------
l0:
    <START>                 NEXT:[r(try { @ while(true) { 1 if..)]    PREV:[]
    r(try {             
        @ while(true) { 
            1           
            if (2 > 3) {
              break @   
            }           
          }             
      } finally {       
        2               
      })                    NEXT:[r(while(true) { 1 if (2 > 3)..)]    PREV:[<START>]
    r(while(true) {     
            1           
            if (2 > 3) {
              break @   
            }           
          })                NEXT:[r(true)]                            PREV:[r(try { @ while(true) { 1 if..)]
l2:
l5:
    r(true)                 NEXT:[r(1)]                               PREV:[r(while(true) { 1 if (2 > 3)..), jmp(l2)]
l4:
    r(1)                    NEXT:[r(2)]                               PREV:[r(true)]
    r(2)                    NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                    NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                    NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)                NEXT:[jf(l6)]                             PREV:[r(>)]
    jf(l6)                  NEXT:[read (Unit), jmp(l3)]               PREV:[r(2 > 3)]
    jmp(l3)                 NEXT:[read (Unit)]                        PREV:[jf(l6)]
-   jmp(l7)                 NEXT:[jmp(l2)]                            PREV:[]
l6:
    read (Unit)             NEXT:[jmp(l2)]                            PREV:[jf(l6)]
l7:
    jmp(l2)                 NEXT:[r(true)]                            PREV:[read (Unit)]
l3:
    read (Unit)             NEXT:[r(2)]                               PREV:[jmp(l3)]
l8:
    r(2)                    NEXT:[<END>]                              PREV:[read (Unit)]
l1:
l9:
    <END>                   NEXT:[<SINK>]                             PREV:[r(2)]
error:
    <ERROR>                 NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                  NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t8 ==
fun t8(a : Int) {
  @ for (i in 1..a) {
    try {
      1
      if (2 > 3) {
        continue @
      }
    } finally {
      2
    }
  }
}
---------------------
l0:
    <START>                NEXT:[v(a : Int)]                                      PREV:[]
    v(a : Int)             NEXT:[w(a)]                                            PREV:[<START>]
    w(a)                   NEXT:[r(for (i in 1..a) { try { 1 ..)]                 PREV:[v(a : Int)]
    r(for (i in 1..a) {
        try {          
          1            
          if (2 > 3) { 
            continue @ 
          }            
        } finally {    
          2            
        }              
      })                   NEXT:[r(1)]                                            PREV:[w(a)]
    r(1)                   NEXT:[r(a)]                                            PREV:[r(for (i in 1..a) { try { 1 ..)]
    r(a)                   NEXT:[r(..)]                                           PREV:[r(1)]
    r(..)                  NEXT:[r(1..a)]                                         PREV:[r(a)]
    r(1..a)                NEXT:[v(i)]                                            PREV:[r(..)]
    v(i)                   NEXT:[w(i)]                                            PREV:[r(1..a)]
    w(i)                   NEXT:[jmp?(l2)]                                        PREV:[v(i)]
l3:
    jmp?(l2)               NEXT:[read (Unit), r(try { 1 if (2 > 3) { conti..)]    PREV:[w(i)]
l4:
l5:
    r(try {            
          1            
          if (2 > 3) { 
            continue @ 
          }            
        } finally {    
          2            
        })                 NEXT:[r(1)]                                            PREV:[jmp?(l2), jmp(l4), jmp?(l4)]
    r(1)                   NEXT:[r(2)]                                            PREV:[r(try { 1 if (2 > 3) { conti..)]
    r(2)                   NEXT:[r(3)]                                            PREV:[r(1)]
    r(3)                   NEXT:[r(>)]                                            PREV:[r(2)]
    r(>)                   NEXT:[r(2 > 3)]                                        PREV:[r(3)]
    r(2 > 3)               NEXT:[jf(l6)]                                          PREV:[r(>)]
    jf(l6)                 NEXT:[read (Unit), r(2)]                               PREV:[r(2 > 3)]
    r(2)                   NEXT:[jmp(l4)]                                         PREV:[jf(l6)]
    jmp(l4)                NEXT:[r(try { 1 if (2 > 3) { conti..)]                 PREV:[r(2)]
-   jmp(l7)                NEXT:[r(2)]                                            PREV:[]
l6:
    read (Unit)            NEXT:[r(2)]                                            PREV:[jf(l6)]
l7:
l8:
    r(2)                   NEXT:[jmp?(l4)]                                        PREV:[read (Unit)]
l9:
    jmp?(l4)               NEXT:[r(try { 1 if (2 > 3) { conti..), read (Unit)]    PREV:[r(2)]
l2:
    read (Unit)            NEXT:[<END>]                                           PREV:[jmp?(l2), jmp?(l4)]
l1:
    <END>                  NEXT:[<SINK>]                                          PREV:[read (Unit)]
error:
    <ERROR>                NEXT:[<SINK>]                                          PREV:[]
sink:
    <SINK>                 NEXT:[]                                                PREV:[<ERROR>, <END>]
=====================
== t9 ==
fun t9(a : Int) {
  try {
    @ for (i in 1..a) {
        1
        if (2 > 3) {
          continue @
        }
      }
      5
  } finally {
    2
  }
}
---------------------
l0:
    <START>                    NEXT:[v(a : Int)]                         PREV:[]
    v(a : Int)                 NEXT:[w(a)]                               PREV:[<START>]
    w(a)                       NEXT:[r(try { @ for (i in 1..a) { ..)]    PREV:[v(a : Int)]
    r(try {                
        @ for (i in 1..a) {
            1              
            if (2 > 3) {   
              continue @   
            }              
          }                
          5                
      } finally {          
        2                  
      })                       NEXT:[r(for (i in 1..a) { 1 if (2 ..)]    PREV:[w(a)]
    r(for (i in 1..a) {    
            1              
            if (2 > 3) {   
              continue @   
            }              
          })                   NEXT:[r(1)]                               PREV:[r(try { @ for (i in 1..a) { ..)]
    r(1)                       NEXT:[r(a)]                               PREV:[r(for (i in 1..a) { 1 if (2 ..)]
    r(a)                       NEXT:[r(..)]                              PREV:[r(1)]
    r(..)                      NEXT:[r(1..a)]                            PREV:[r(a)]
    r(1..a)                    NEXT:[v(i)]                               PREV:[r(..)]
    v(i)                       NEXT:[w(i)]                               PREV:[r(1..a)]
    w(i)                       NEXT:[jmp?(l2)]                           PREV:[v(i)]
l3:
    jmp?(l2)                   NEXT:[read (Unit), r(1)]                  PREV:[w(i)]
l4:
l5:
    r(1)                       NEXT:[r(2)]                               PREV:[jmp?(l2), jmp(l4), jmp?(l4)]
    r(2)                       NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                       NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                       NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)                   NEXT:[jf(l6)]                             PREV:[r(>)]
    jf(l6)                     NEXT:[read (Unit), jmp(l4)]               PREV:[r(2 > 3)]
    jmp(l4)                    NEXT:[r(1)]                               PREV:[jf(l6)]
-   jmp(l7)                    NEXT:[jmp?(l4)]                           PREV:[]
l6:
    read (Unit)                NEXT:[jmp?(l4)]                           PREV:[jf(l6)]
l7:
    jmp?(l4)                   NEXT:[r(1), read (Unit)]                  PREV:[read (Unit)]
l2:
    read (Unit)                NEXT:[r(5)]                               PREV:[jmp?(l2), jmp?(l4)]
    r(5)                       NEXT:[r(2)]                               PREV:[read (Unit)]
l8:
    r(2)                       NEXT:[<END>]                              PREV:[r(5)]
l1:
l9:
    <END>                      NEXT:[<SINK>]                             PREV:[r(2)]
error:
    <ERROR>                    NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                     NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t10 ==
fun t10(a : Int) {
  try {
    @ for (i in 1..a) {
        1
        if (2 > 3) {
          continue @
        }
      }
  } finally {
    2
  }
}
---------------------
l0:
    <START>                    NEXT:[v(a : Int)]                         PREV:[]
    v(a : Int)                 NEXT:[w(a)]                               PREV:[<START>]
    w(a)                       NEXT:[r(try { @ for (i in 1..a) { ..)]    PREV:[v(a : Int)]
    r(try {                
        @ for (i in 1..a) {
            1              
            if (2 > 3) {   
              continue @   
            }              
          }                
      } finally {          
        2                  
      })                       NEXT:[r(for (i in 1..a) { 1 if (2 ..)]    PREV:[w(a)]
    r(for (i in 1..a) {    
            1              
            if (2 > 3) {   
              continue @   
            }              
          })                   NEXT:[r(1)]                               PREV:[r(try { @ for (i in 1..a) { ..)]
    r(1)                       NEXT:[r(a)]                               PREV:[r(for (i in 1..a) { 1 if (2 ..)]
    r(a)                       NEXT:[r(..)]                              PREV:[r(1)]
    r(..)                      NEXT:[r(1..a)]                            PREV:[r(a)]
    r(1..a)                    NEXT:[v(i)]                               PREV:[r(..)]
    v(i)                       NEXT:[w(i)]                               PREV:[r(1..a)]
    w(i)                       NEXT:[jmp?(l2)]                           PREV:[v(i)]
l3:
    jmp?(l2)                   NEXT:[read (Unit), r(1)]                  PREV:[w(i)]
l4:
l5:
    r(1)                       NEXT:[r(2)]                               PREV:[jmp?(l2), jmp(l4), jmp?(l4)]
    r(2)                       NEXT:[r(3)]                               PREV:[r(1)]
    r(3)                       NEXT:[r(>)]                               PREV:[r(2)]
    r(>)                       NEXT:[r(2 > 3)]                           PREV:[r(3)]
    r(2 > 3)                   NEXT:[jf(l6)]                             PREV:[r(>)]
    jf(l6)                     NEXT:[read (Unit), jmp(l4)]               PREV:[r(2 > 3)]
    jmp(l4)                    NEXT:[r(1)]                               PREV:[jf(l6)]
-   jmp(l7)                    NEXT:[jmp?(l4)]                           PREV:[]
l6:
    read (Unit)                NEXT:[jmp?(l4)]                           PREV:[jf(l6)]
l7:
    jmp?(l4)                   NEXT:[r(1), read (Unit)]                  PREV:[read (Unit)]
l2:
    read (Unit)                NEXT:[r(2)]                               PREV:[jmp?(l2), jmp?(l4)]
l8:
    r(2)                       NEXT:[<END>]                              PREV:[read (Unit)]
l1:
l9:
    <END>                      NEXT:[<SINK>]                             PREV:[r(2)]
error:
    <ERROR>                    NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>                     NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t11 ==
fun t11() {
  try {
    return 1
  }
  finally {
    return 2
  }
}
---------------------
l0:
    <START>         NEXT:[r(try { return 1 } finally {..)]    PREV:[]
    r(try {     
        return 1
      }         
      finally { 
        return 2
      })            NEXT:[r(1)]                               PREV:[<START>]
    r(1)            NEXT:[r(2)]                               PREV:[r(try { return 1 } finally {..)]
    r(2)            NEXT:[ret(*) l1]                          PREV:[r(1)]
    ret(*) l1       NEXT:[<END>]                              PREV:[r(2)]
-   ret(*) l1       NEXT:[<END>]                              PREV:[]
l2:
-   r(2)            NEXT:[ret(*) l1]                          PREV:[]
-   ret(*) l1       NEXT:[<END>]                              PREV:[]
l1:
l3:
    <END>           NEXT:[<SINK>]                             PREV:[ret(*) l1]
error:
    <ERROR>         NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>          NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t12 ==
fun t12() : Int {
    try {
        return 1
    }
    finally {
        doSmth(3)
    }
}
---------------------
l0:
    <START>              NEXT:[r(try { return 1 } finally {..)]    PREV:[]
    r(try {          
            return 1 
        }            
        finally {    
            doSmth(3)
        })               NEXT:[r(1)]                               PREV:[<START>]
    r(1)                 NEXT:[r(3)]                               PREV:[r(try { return 1 } finally {..)]
    r(3)                 NEXT:[r(doSmth)]                          PREV:[r(1)]
    r(doSmth)            NEXT:[r(doSmth(3))]                       PREV:[r(3)]
    r(doSmth(3))         NEXT:[ret(*) l1]                          PREV:[r(doSmth)]
    ret(*) l1            NEXT:[<END>]                              PREV:[r(doSmth(3))]
l2:
-   r(3)                 NEXT:[r(doSmth)]                          PREV:[]
-   r(doSmth)            NEXT:[r(doSmth(3))]                       PREV:[]
-   r(doSmth(3))         NEXT:[<END>]                              PREV:[]
l1:
l3:
    <END>                NEXT:[<SINK>]                             PREV:[ret(*) l1]
error:
    <ERROR>              NEXT:[<SINK>]                             PREV:[]
sink:
    <SINK>               NEXT:[]                                   PREV:[<ERROR>, <END>]
=====================
== t13 ==
fun t13() : Int {
    try {
        return 1
    }
    catch (e: UnsupportedOperationException) {
        doSmth(2)
    }
    finally {
        doSmth(3)
    }
}
---------------------
l0:
    <START>                                           NEXT:[r(try { return 1 } catch (e:..)]        PREV:[]
    r(try {                                       
            return 1                              
        }                                         
        catch (e: UnsupportedOperationException) {
            doSmth(2)                             
        }                                         
        finally {                                 
            doSmth(3)                             
        })                                            NEXT:[jmp?(l2)]                               PREV:[<START>]
    jmp?(l2)                                          NEXT:[jmp?(), r(1)]                           PREV:[r(try { return 1 } catch (e:..)]
    r(1)                                              NEXT:[r(3)]                                   PREV:[jmp?(l2)]
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[r(1)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[ret(*) l1]                              PREV:[r(doSmth)]
    ret(*) l1                                         NEXT:[<END>]                                  PREV:[r(doSmth(3))]
l3:
-   jmp(l4)                                           NEXT:[r(3)]                                   PREV:[]
l2:
    jmp?()                                            NEXT:[v(e: UnsupportedOperationException)]    PREV:[jmp?(l2)]
    v(e: UnsupportedOperationException)               NEXT:[w(e)]                                   PREV:[jmp?()]
    w(e)                                              NEXT:[r(2)]                                   PREV:[v(e: UnsupportedOperationException)]
    r(2)                                              NEXT:[r(doSmth)]                              PREV:[w(e)]
    r(doSmth)                                         NEXT:[r(doSmth(2))]                           PREV:[r(2)]
    r(doSmth(2))                                      NEXT:[jmp(l4)]                                PREV:[r(doSmth)]
l5:
    jmp(l4)                                           NEXT:[r(3)]                                   PREV:[r(doSmth(2))]
l4:
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[jmp(l4)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[<END>]                                  PREV:[r(doSmth)]
l1:
l6:
    <END>                                             NEXT:[<SINK>]                                 PREV:[ret(*) l1, r(doSmth(3))]
error:
    <ERROR>                                           NEXT:[<SINK>]                                 PREV:[]
sink:
    <SINK>                                            NEXT:[]                                       PREV:[<ERROR>, <END>]
=====================
== t14 ==
fun t14() : Int {
    try {
        return 1
    }
    catch (e: UnsupportedOperationException) {
        doSmth(2)
    }
}
---------------------
l0:
    <START>                                           NEXT:[r(try { return 1 } catch (e:..)]        PREV:[]
    r(try {                                       
            return 1                              
        }                                         
        catch (e: UnsupportedOperationException) {
            doSmth(2)                             
        })                                            NEXT:[jmp?(l2)]                               PREV:[<START>]
    jmp?(l2)                                          NEXT:[jmp?(), r(1)]                           PREV:[r(try { return 1 } catch (e:..)]
    r(1)                                              NEXT:[ret(*) l1]                              PREV:[jmp?(l2)]
    ret(*) l1                                         NEXT:[<END>]                                  PREV:[r(1)]
l3:
-   jmp(l4)                                           NEXT:[<END>]                                  PREV:[]
l2:
    jmp?()                                            NEXT:[v(e: UnsupportedOperationException)]    PREV:[jmp?(l2)]
    v(e: UnsupportedOperationException)               NEXT:[w(e)]                                   PREV:[jmp?()]
    w(e)                                              NEXT:[r(2)]                                   PREV:[v(e: UnsupportedOperationException)]
    r(2)                                              NEXT:[r(doSmth)]                              PREV:[w(e)]
    r(doSmth)                                         NEXT:[r(doSmth(2))]                           PREV:[r(2)]
    r(doSmth(2))                                      NEXT:[jmp(l4)]                                PREV:[r(doSmth)]
l5:
    jmp(l4)                                           NEXT:[<END>]                                  PREV:[r(doSmth(2))]
l1:
l4:
l6:
    <END>                                             NEXT:[<SINK>]                                 PREV:[ret(*) l1, jmp(l4)]
error:
    <ERROR>                                           NEXT:[<SINK>]                                 PREV:[]
sink:
    <SINK>                                            NEXT:[]                                       PREV:[<ERROR>, <END>]
=====================
== t15 ==
fun t15() : Int {
    try {
        return 1
    }
    catch (e: UnsupportedOperationException) {
        return 2
    }
    finally {
        doSmth(3)
    }
}
---------------------
l0:
    <START>                                           NEXT:[r(try { return 1 } catch (e:..)]        PREV:[]
    r(try {                                       
            return 1                              
        }                                         
        catch (e: UnsupportedOperationException) {
            return 2                              
        }                                         
        finally {                                 
            doSmth(3)                             
        })                                            NEXT:[jmp?(l2)]                               PREV:[<START>]
    jmp?(l2)                                          NEXT:[jmp?(), r(1)]                           PREV:[r(try { return 1 } catch (e:..)]
    r(1)                                              NEXT:[r(3)]                                   PREV:[jmp?(l2)]
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[r(1)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[ret(*) l1]                              PREV:[r(doSmth)]
    ret(*) l1                                         NEXT:[<END>]                                  PREV:[r(doSmth(3))]
l3:
-   jmp(l4)                                           NEXT:[r(3)]                                   PREV:[]
l2:
    jmp?()                                            NEXT:[v(e: UnsupportedOperationException)]    PREV:[jmp?(l2)]
    v(e: UnsupportedOperationException)               NEXT:[w(e)]                                   PREV:[jmp?()]
    w(e)                                              NEXT:[r(2)]                                   PREV:[v(e: UnsupportedOperationException)]
    r(2)                                              NEXT:[r(3)]                                   PREV:[w(e)]
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[r(2)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[ret(*) l1]                              PREV:[r(doSmth)]
    ret(*) l1                                         NEXT:[<END>]                                  PREV:[r(doSmth(3))]
l5:
-   jmp(l4)                                           NEXT:[r(3)]                                   PREV:[]
l4:
-   r(3)                                              NEXT:[r(doSmth)]                              PREV:[]
-   r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[]
-   r(doSmth(3))                                      NEXT:[<END>]                                  PREV:[]
l1:
l6:
    <END>                                             NEXT:[<SINK>]                                 PREV:[ret(*) l1, ret(*) l1]
error:
    <ERROR>                                           NEXT:[<SINK>]                                 PREV:[]
sink:
    <SINK>                                            NEXT:[]                                       PREV:[<ERROR>, <END>]
=====================
== t16 ==
fun t16() : Int {
    try {
        doSmth(1)
    }
    catch (e: UnsupportedOperationException) {
        return 2
    }
    finally {
        doSmth(3)
    }
}
---------------------
l0:
    <START>                                           NEXT:[r(try { doSmth(1) } catch (e..)]        PREV:[]
    r(try {                                       
            doSmth(1)                             
        }                                         
        catch (e: UnsupportedOperationException) {
            return 2                              
        }                                         
        finally {                                 
            doSmth(3)                             
        })                                            NEXT:[jmp?(l2)]                               PREV:[<START>]
    jmp?(l2)                                          NEXT:[jmp?(), r(1)]                           PREV:[r(try { doSmth(1) } catch (e..)]
    r(1)                                              NEXT:[r(doSmth)]                              PREV:[jmp?(l2)]
    r(doSmth)                                         NEXT:[r(doSmth(1))]                           PREV:[r(1)]
    r(doSmth(1))                                      NEXT:[jmp(l4)]                                PREV:[r(doSmth)]
l3:
    jmp(l4)                                           NEXT:[r(3)]                                   PREV:[r(doSmth(1))]
l2:
    jmp?()                                            NEXT:[v(e: UnsupportedOperationException)]    PREV:[jmp?(l2)]
    v(e: UnsupportedOperationException)               NEXT:[w(e)]                                   PREV:[jmp?()]
    w(e)                                              NEXT:[r(2)]                                   PREV:[v(e: UnsupportedOperationException)]
    r(2)                                              NEXT:[r(3)]                                   PREV:[w(e)]
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[r(2)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[ret(*) l1]                              PREV:[r(doSmth)]
    ret(*) l1                                         NEXT:[<END>]                                  PREV:[r(doSmth(3))]
l5:
-   jmp(l4)                                           NEXT:[r(3)]                                   PREV:[]
l4:
    r(3)                                              NEXT:[r(doSmth)]                              PREV:[jmp(l4)]
    r(doSmth)                                         NEXT:[r(doSmth(3))]                           PREV:[r(3)]
    r(doSmth(3))                                      NEXT:[<END>]                                  PREV:[r(doSmth)]
l1:
l6:
    <END>                                             NEXT:[<SINK>]                                 PREV:[ret(*) l1, r(doSmth(3))]
error:
    <ERROR>                                           NEXT:[<SINK>]                                 PREV:[]
sink:
    <SINK>                                            NEXT:[]                                       PREV:[<ERROR>, <END>]
=====================
== doSmth ==
fun doSmth(i: Int) {
}
---------------------
l0:
    <START>        NEXT:[v(i: Int)]      PREV:[]
    v(i: Int)      NEXT:[w(i)]           PREV:[<START>]
    w(i)           NEXT:[read (Unit)]    PREV:[v(i: Int)]
    read (Unit)    NEXT:[<END>]          PREV:[w(i)]
l1:
    <END>          NEXT:[<SINK>]         PREV:[read (Unit)]
error:
    <ERROR>        NEXT:[<SINK>]         PREV:[]
sink:
    <SINK>         NEXT:[]               PREV:[<ERROR>, <END>]
=====================