(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: 
1:
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: 
2:
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: 
3:
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: 
4:
<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: 
5:
<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: 
6:
<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: 
7:
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: 
8:
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: 
9:
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.

(2) NO