Termination proof of /tmp/tmpagJYab/Velroyen08-doubleNeg.jar

Termination of the given JBC could be disproven:

0 JBC

↳1 JBCNonTerm (⇔, 916 ms)

↳2 NO

(0) Obligation:

JBC Problem based on JBC Program:

/**
 * 
 */
package simple.doubleNeg;

/**
 * @author helgar
 *
 */
public class DoubleNeg {

	public static void loop(int i, int j) {
		while (i*j > 0) {
			i--;
			j--;
		}
	}
}


package simple.doubleNeg;

public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
	    int x = args[2].length();
	    int y = args[3].length();
        if (args[0].length() % 2 == 0) {
            x = -x;
        }
        if (args[1].length() % 2 == 0) {
            y = -y;
        }
		DoubleNeg.loop(x, y);
	}

}

(1) JBCNonTerm (EQUIVALENT transformation)

Reached a loop using the following run:
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||0: load ADDR args||args: a728|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||1: push 2||args: a728||a728>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||2: Read ADDR from array||args: a728||a728, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length()I||args: a728||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||0: load ADDR this||this: o16|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||1: Read from count|| - ||o16>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||3: java.lang.String.length||args: a728||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||6: store INT to x||args: a728||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||7: load ADDR args||args: a728, x: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||8: push 3||args: a728, x: iconst_1||a728>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||9: Read ADDR from array||args: a728, x: iconst_1||a728, iconst_3>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length()I||args: a728, x: iconst_1||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

12:

<java.lang.String.length||0: load ADDR this||this: o43|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

13:

<java.lang.String.length||1: Read from count|| - ||o43>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

14:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||10: java.lang.String.length||args: a728, x: iconst_1||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

15:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||13: store INT to y||args: a728, x: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

16:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||14: load ADDR args||args: a728, x: iconst_1, y: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||15: push 0||args: a728, x: iconst_1, y: iconst_1||a728>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||16: Read ADDR from array||args: a728, x: iconst_1, y: iconst_1||a728, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length()I||args: a728, x: iconst_1, y: iconst_1||o104>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

20:

<java.lang.String.length||0: load ADDR this||this: o104|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

21:

<java.lang.String.length||1: Read from count|| - ||o104>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

22:

<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||17: java.lang.String.length||args: a728, x: iconst_1, y: iconst_1||o104>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

23:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||20: push 2||args: a728, x: iconst_1, y: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

24:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||21: REM||args: a728, x: iconst_1, y: iconst_1||iconst_0, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

25:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||22: NE 0||args: a728, x: iconst_1, y: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

26:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||25: load INT x||args: a728, x: iconst_1, y: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

27:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||26: NEG||args: a728, y: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

28:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||27: store INT to x||args: a728, y: iconst_1||iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

29:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||28: load ADDR args||args: a728, x: iconst_-1, y: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

30:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||29: push 1||x: iconst_-1, y: iconst_1||a728>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

31:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||30: Read ADDR from array||x: iconst_-1, y: iconst_1||a728, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

32:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length()I||x: iconst_-1, y: iconst_1||o303>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

33:

<java.lang.String.length||0: load ADDR this||this: o303|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

34:

<java.lang.String.length||1: Read from count|| - ||o303>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

35:

<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||31: java.lang.String.length||x: iconst_-1, y: iconst_1||o303>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

36:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||34: push 2||x: iconst_-1, y: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

37:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||35: REM||x: iconst_-1, y: iconst_1||iconst_0, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

38:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||36: NE 0||x: iconst_-1, y: iconst_1||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

39:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||39: load INT y||x: iconst_-1, y: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

40:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||40: NEG||x: iconst_-1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

41:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||41: store INT to y||x: iconst_-1||iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

42:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||42: load INT x||x: iconst_-1, y: iconst_-1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

43:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||43: load INT y||y: iconst_-1||iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

44:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop(II)V|| - ||iconst_-1, iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

45:

<simple.doubleNeg.DoubleNeg.loop||0: load INT i||i: iconst_-1, j: iconst_-1|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a728(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop|| - ||iconst_-1, iconst_-1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a730
	String.CASE_INSENSITIVE_ORDER: o804
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a730([java.io.ObjectStreamField|]): length iconst_0
	o804!: String$CaseInsensitiveComparator()
	o303(java.lang.String...): String(count=iconst_0, hash=i163, offset=iconst_0, value=a189?)
	i163: #I{-inf,+inf}
	a728([java.lang.String...]): {o104, o303, o16, o43}
	o104(java.lang.String...): String(count=iconst_0, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_1, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_1, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a189:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

Start state of loop:

<simple.doubleNeg.DoubleNeg.loop||0: load INT i||i: i379, j: i380|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a496(lv_0_0)]
<simple.doubleNeg.Main.main||44: simple.doubleNeg.DoubleNeg.loop|| - ||i78, i242>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a495
	String.CASE_INSENSITIVE_ORDER: o632
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a495([java.io.ObjectStreamField|]): length iconst_0
	o632!: String$CaseInsensitiveComparator()
	i379: (-inf,0](1){-inf,+inf}
	i380: (-inf,0](1){-inf,+inf}
	i25: [4,+inf){0,+inf}
	a496([java.lang.String...]): length i25
	i242: (-inf,0]{-inf,+inf}
	i78: (-inf,0]{-inf,+inf}
Relations:

In the loop head node, references [i379, i380] were interesting.
By SMT, we could prove
((initial_i379 <= 0 and initial_i380 <= 0 and initial_i78 <= 0 and initial_i242 <= 0 and 4 <= initial_i25) and (((path1_i413 = (path1_i379 * path1_i380) and path1_i413 = path1_i419 and path1_i431 = (path1_i379 + -1) and path1_i434 = (path1_i380 + -1) and path1_i431 = res_i379 and path1_i434 = res_i380 and path1_i78 = res_i78 and path1_i242 = res_i242 and path1_i25 = res_i25 and path1_i379 = initial_i379 and path1_i380 = initial_i380 and path1_i78 = initial_i78 and path1_i242 = initial_i242 and path1_i25 = initial_i25) and path1_i419 > 0) and ((res_i413 = (res_i379 * res_i380) and res_i413 = res_i419 and res_i431 = (res_i379 + -1) and res_i434 = (res_i380 + -1)) and !res_i419 > 0)))
to be UNSAT. Consequently, the loop will not terminate.

(0) Obligation:

(1) JBCNonTerm (EQUIVALENT transformation)

(2) NO