package pkg;

public class TestClassVar {
   private boolean field_boolean = Math.random() > 0.0D;
   public int field_int = 0;

   public void testFieldSSAU() {
      for(int var1 = 0; var1 < 10; ++var1) {// 26
         try {
            System.out.println();// 29
         } finally {
            if (this.field_boolean) {// 32
               System.out.println();// 33
            }

         }
      }

   }// 37

   public Long testFieldSSAU1() {
      return new Long((long)(this.field_int++));// 40
   }

   public void testComplexPropagation() {
      int var1 = 0;// 45

      while(var1 < 10) {// 47
         int var2;
         for(var2 = var1; var1 < 10 && var1 == 0; ++var1) {// 49 51
         }

         if (var2 != var1) {// 54
            System.out.println();// 55
         }
      }

   }// 58
}

class 'pkg/TestClassVar' {
   method 'testFieldSSAU ()V' {
      0      7
      1      7
      3      7
      5      7
      8      9
      b      9
      1f      11
      20      11
      26      12
      29      12
      2e      7
      34      18
   }

   method 'testFieldSSAU1 ()Ljava/lang/Long;' {
      6      21
      b      21
      f      21
      13      21
   }

   method 'testComplexPropagation ()V' {
      0      25
      1      25
      3      27
      5      27
      9      29
      b      29
      d      29
      11      29
      14      29
      1c      32
      1f      33
      22      33
      28      37
   }
}

Lines mapping:
26 <-> 8
29 <-> 10
32 <-> 12
33 <-> 13
37 <-> 19
40 <-> 22
45 <-> 26
47 <-> 28
49 <-> 30
51 <-> 30
54 <-> 33
55 <-> 34
58 <-> 38
Not mapped:
57