/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES
proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1640 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 665 ms]
        (9) QDP
        (10) DependencyGraphProof [EQUIVALENT, 0 ms]
        (11) QDP
        (12) UsableRulesProof [EQUIVALENT, 0 ms]
        (13) QDP
        (14) QReductionProof [EQUIVALENT, 0 ms]
        (15) QDP
        (16) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (17) YES
    (18) JBCTerminationSCC
        (19) SCCToIRSProof [SOUND, 338 ms]
        (20) IRSwT
        (21) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (22) IRSwT
        (23) IRSwTTerminationDigraphProof [EQUIVALENT, 93 ms]
        (24) IRSwT
        (25) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (26) IRSwT
        (27) TempFilterProof [SOUND, 75 ms]
        (28) IntTRS
        (29) PolynomialOrderProcessor [EQUIVALENT, 26 ms]
        (30) IntTRS
        (31) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
        (32) YES


----------------------------------------

(0)
Obligation:
need to prove termination of the following program:
package Terms;

public final class FunctionApplication extends Term {
	FunctionSymbol fs;
	List<Term> args;
	
	public FunctionApplication(FunctionSymbol f, List<Term> a) {
		this.fs = f;
		this.args = a;
	}

	public void collectVariables(List<Variable> vars) {
		List<Term> cur = this.args;
		while (cur != null) {
			cur.value.collectVariables(vars);
			cur = cur.next;
		}
	}

	public Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that) {
		if (that instanceof Variable) {
			return null;
		}
		FunctionApplication fThat = (FunctionApplication) that;
		if (this.fs.equals(fThat.fs)) {
			List<Term> curThisArg = this.args; 
			List<Term> curThatArg = fThat.args; 
			while (curThisArg != null && curThatArg != null) {
				sigma = curThisArg.value.extendMatchingSubstitution(sigma, curThatArg.value);
				if (sigma == null) {
					return null;
				}
				curThisArg = curThisArg.next;
				curThatArg = curThatArg.next;
			}
			return sigma;
		} else {
			return null;
		}
	}


	public int getDepth(){
		int currentMaximum=0;
		List<Term> cur = this.args;
		while (cur != null) {
			int currentDepth = cur.value.getDepth()+1;
			if (currentDepth > currentMaximum) currentMaximum=currentDepth;
			cur = cur.next;
		}
		return currentMaximum;
	}
	
	public boolean equals(Object o) {
		if (o instanceof FunctionApplication) {
			FunctionApplication oFA = (FunctionApplication) o;
			return (this.fs.equals(oFA.fs) && this.args.equals(oFA.args));
		}
		return false;
	}

	public int hashCode() {
		return args.hashCode() * fs.hashCode();
	}
}


package Terms;

public final class FunctionSymbol {
	int number;

	public FunctionSymbol(int id) {
		this.number = id;
	}

	public int getArity() {
		return this.number;
	}

	public boolean equals(Object o) {
		if (o instanceof FunctionSymbol) {
			return this.number == ((FunctionSymbol) o).number;
		}
		return false;
	}

	public int hashCode() {
		return this.number;
	}
}


package Terms;

public final class List<T> {
	public T value;
	public List<T> next;

	public void add(T v) {
		List<T> newEle = new List<T>();
		newEle.value = this.value;
		newEle.next = this.next;
		this.next = newEle;
		this.value = v;
	}
}



package Terms;

public final class Map<K, V> {
	private K key;
	private V value;
	private Map<K, V> next;

	public void put(K k, V v) {
		Map<K, V> newEntry = new Map<K, V>();
		newEntry.key = this.key;
		newEntry.value = this.value;
		newEntry.next = this.next;
		this.next = newEntry;
		this.key = k;
		this.value = v;
	}

	public V get(K k) {
		if (this.key.equals(k)) {
			return this.value;
		}
		if (this.next != null) {
			return this.next.get(k);
		}
		return null;
	}
}



package Terms;

public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


package Terms;

public class TermCreateCollect {
	public static void main(String[] args) {
		Random.args = args;
		Term t = Term.create(Random.random());
		t.getVariables();
	}
}


package Terms;

public abstract class Term {
	/**
	 * @param n maximal depth of the return term
	 * @return some term of maximal depth n
	 */
	public static Term create(int n) {
		if (n <= 1) {
			return new Variable(Random.random());
		} else {
			int arity = Random.random();
			List<Term> args = new List<Term>();
			for (int i = 0; i < arity; i++) {
				args.add(Term.create(n-1));
			}
			return new FunctionApplication(new FunctionSymbol(arity), args);
		}
	}

	public final boolean matches(final Term that) {
		Map<Variable, Term> sigma = new Map<Variable, Term>();
		sigma = this.extendMatchingSubstitution(sigma, that);
		return sigma != null;
	}

	public abstract Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that);

	public abstract void collectVariables(List<Variable> vars);

	public final List<Variable> getVariables() {
		final List<Variable> vars = new List<Variable>();
		this.collectVariables(vars);
		return vars;
	}

	public abstract int getDepth();
}


package Terms;

public final class Variable extends Term {
	int number;

	public Variable(int id) {
		this.number = id;
	}


	public void collectVariables(List<Variable> vars) {
		vars.add(this);
	}
	
	public Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that) {
		Term thisSigma = sigma.get(this);
		if (thisSigma == null) {
			sigma.put(this, that);
			return sigma;
		} else {
			if (thisSigma.equals(that)) {
				return sigma;
			} else {
				return null;
			}
		}
	}


	public int getDepth(){
		return 0;
	}

	public boolean equals(Object o) {
		if (o instanceof Variable) {
			return this.number == ((Variable) o).number;
		}
		return false;
	}

	public int hashCode() {
		return number;
	}
}



----------------------------------------

(1) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
package Terms;

public final class FunctionApplication extends Term {
	FunctionSymbol fs;
	List<Term> args;
	
	public FunctionApplication(FunctionSymbol f, List<Term> a) {
		this.fs = f;
		this.args = a;
	}

	public void collectVariables(List<Variable> vars) {
		List<Term> cur = this.args;
		while (cur != null) {
			cur.value.collectVariables(vars);
			cur = cur.next;
		}
	}

	public Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that) {
		if (that instanceof Variable) {
			return null;
		}
		FunctionApplication fThat = (FunctionApplication) that;
		if (this.fs.equals(fThat.fs)) {
			List<Term> curThisArg = this.args; 
			List<Term> curThatArg = fThat.args; 
			while (curThisArg != null && curThatArg != null) {
				sigma = curThisArg.value.extendMatchingSubstitution(sigma, curThatArg.value);
				if (sigma == null) {
					return null;
				}
				curThisArg = curThisArg.next;
				curThatArg = curThatArg.next;
			}
			return sigma;
		} else {
			return null;
		}
	}


	public int getDepth(){
		int currentMaximum=0;
		List<Term> cur = this.args;
		while (cur != null) {
			int currentDepth = cur.value.getDepth()+1;
			if (currentDepth > currentMaximum) currentMaximum=currentDepth;
			cur = cur.next;
		}
		return currentMaximum;
	}
	
	public boolean equals(Object o) {
		if (o instanceof FunctionApplication) {
			FunctionApplication oFA = (FunctionApplication) o;
			return (this.fs.equals(oFA.fs) && this.args.equals(oFA.args));
		}
		return false;
	}

	public int hashCode() {
		return args.hashCode() * fs.hashCode();
	}
}


package Terms;

public final class FunctionSymbol {
	int number;

	public FunctionSymbol(int id) {
		this.number = id;
	}

	public int getArity() {
		return this.number;
	}

	public boolean equals(Object o) {
		if (o instanceof FunctionSymbol) {
			return this.number == ((FunctionSymbol) o).number;
		}
		return false;
	}

	public int hashCode() {
		return this.number;
	}
}


package Terms;

public final class List<T> {
	public T value;
	public List<T> next;

	public void add(T v) {
		List<T> newEle = new List<T>();
		newEle.value = this.value;
		newEle.next = this.next;
		this.next = newEle;
		this.value = v;
	}
}



package Terms;

public final class Map<K, V> {
	private K key;
	private V value;
	private Map<K, V> next;

	public void put(K k, V v) {
		Map<K, V> newEntry = new Map<K, V>();
		newEntry.key = this.key;
		newEntry.value = this.value;
		newEntry.next = this.next;
		this.next = newEntry;
		this.key = k;
		this.value = v;
	}

	public V get(K k) {
		if (this.key.equals(k)) {
			return this.value;
		}
		if (this.next != null) {
			return this.next.get(k);
		}
		return null;
	}
}



package Terms;

public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


package Terms;

public class TermCreateCollect {
	public static void main(String[] args) {
		Random.args = args;
		Term t = Term.create(Random.random());
		t.getVariables();
	}
}


package Terms;

public abstract class Term {
	/**
	 * @param n maximal depth of the return term
	 * @return some term of maximal depth n
	 */
	public static Term create(int n) {
		if (n <= 1) {
			return new Variable(Random.random());
		} else {
			int arity = Random.random();
			List<Term> args = new List<Term>();
			for (int i = 0; i < arity; i++) {
				args.add(Term.create(n-1));
			}
			return new FunctionApplication(new FunctionSymbol(arity), args);
		}
	}

	public final boolean matches(final Term that) {
		Map<Variable, Term> sigma = new Map<Variable, Term>();
		sigma = this.extendMatchingSubstitution(sigma, that);
		return sigma != null;
	}

	public abstract Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that);

	public abstract void collectVariables(List<Variable> vars);

	public final List<Variable> getVariables() {
		final List<Variable> vars = new List<Variable>();
		this.collectVariables(vars);
		return vars;
	}

	public abstract int getDepth();
}


package Terms;

public final class Variable extends Term {
	int number;

	public Variable(int id) {
		this.number = id;
	}


	public void collectVariables(List<Variable> vars) {
		vars.add(this);
	}
	
	public Map<Variable, Term> extendMatchingSubstitution(Map<Variable, Term> sigma, Term that) {
		Term thisSigma = sigma.get(this);
		if (thisSigma == null) {
			sigma.put(this, that);
			return sigma;
		} else {
			if (thisSigma.equals(that)) {
				return sigma;
			} else {
				return null;
			}
		}
	}


	public int getDepth(){
		return 0;
	}

	public boolean equals(Object o) {
		if (o instanceof Variable) {
			return this.number == ((Variable) o).number;
		}
		return false;
	}

	public int hashCode() {
		return number;
	}
}



----------------------------------------

(3) JBCToGraph (EQUIVALENT)
Constructed TerminationGraph.
----------------------------------------

(4)
Obligation:
Termination Graph based on JBC Program:
Terms.TermCreateCollect.main([Ljava/lang/String;)V: Graph of 196 nodes with 0 SCCs.



Terms.Term.create(I)LTerms/Term;: Graph of 274 nodes with 1 SCC.



Terms.FunctionApplication.collectVariables(LTerms/List;)V: Graph of 115 nodes with 1 SCC.





----------------------------------------

(5) TerminationGraphToSCCProof (SOUND)
Splitted TerminationGraph to 2 SCCss.
----------------------------------------

(6)
Complex Obligation (AND)

----------------------------------------

(7)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Terms.FunctionApplication.collectVariables(LTerms/List;)V
SCC calls the following helper methods: Terms.FunctionApplication.collectVariables(LTerms/List;)V
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Terms.FunctionApplication: [args]
*Terms.List: [value, next]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 62 rules for P and 116 rules for R.P rules:
f5349_0_collectVariables_FieldAccess(EOS(STATIC_5349), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) -> f5350_0_collectVariables_FieldAccess(EOS(STATIC_5350), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) :|: TRUE
f5350_0_collectVariables_FieldAccess(EOS(STATIC_5350), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) -> f5351_0_collectVariables_Store(EOS(STATIC_5351), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5351_0_collectVariables_Store(EOS(STATIC_5351), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) -> f5352_0_collectVariables_Load(EOS(STATIC_5352), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5352_0_collectVariables_Load(EOS(STATIC_5352), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) -> f5469_0_collectVariables_Load(EOS(STATIC_5469), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5469_0_collectVariables_Load(EOS(STATIC_5469), o3958, java.lang.Object(Terms.List(EOC, o3961, o3960)), java.lang.Object(Terms.List(EOC, o3961, o3960)), o3965) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o3958, java.lang.Object(Terms.List(EOC, o3961, o3960)), java.lang.Object(Terms.List(EOC, o3961, o3960)), o3965) :|: TRUE
f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4451) -> f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4451, o4451) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) -> f5597_0_collectVariables_NULL(EOS(STATIC_5597), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) :|: TRUE
f5597_0_collectVariables_NULL(EOS(STATIC_5597), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) -> f5599_0_collectVariables_Load(EOS(STATIC_5599), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub)) :|: TRUE
f5599_0_collectVariables_Load(EOS(STATIC_5599), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub)) -> f5601_0_collectVariables_FieldAccess(EOS(STATIC_5601), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) :|: TRUE
f5601_0_collectVariables_FieldAccess(EOS(STATIC_5601), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) -> f5603_0_collectVariables_FieldAccess(EOS(STATIC_5603), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) :|: TRUE
f5603_0_collectVariables_FieldAccess(EOS(STATIC_5603), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) -> f5604_0_collectVariables_CheckCast(EOS(STATIC_5604), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), o4472) :|: TRUE
f5604_0_collectVariables_CheckCast(EOS(STATIC_5604), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub), o4473)), java.lang.Object(o4483sub)) -> f5606_0_collectVariables_CheckCast(EOS(STATIC_5606), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub), o4473)), java.lang.Object(o4483sub)) :|: TRUE
f5606_0_collectVariables_CheckCast(EOS(STATIC_5606), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5608_0_collectVariables_CheckCast(EOS(STATIC_5608), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) :|: TRUE
f5608_0_collectVariables_CheckCast(EOS(STATIC_5608), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5611_0_collectVariables_Load(EOS(STATIC_5611), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) :|: TRUE
f5611_0_collectVariables_Load(EOS(STATIC_5611), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5616_0_collectVariables_InvokeMethod(EOS(STATIC_5616), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5617_0_collectVariables_InvokeMethod(EOS(STATIC_5617), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5616_0_collectVariables_InvokeMethod(EOS(STATIC_5616), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5619_0_collectVariables_Load(EOS(STATIC_5619), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5619_0_collectVariables_Load(EOS(STATIC_5619), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5625_0_collectVariables_Load(EOS(STATIC_5625), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5625_0_collectVariables_Load(EOS(STATIC_5625), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5628_0_collectVariables_InvokeMethod(EOS(STATIC_5628), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) :|: TRUE
f5628_0_collectVariables_InvokeMethod(EOS(STATIC_5628), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) -> f5631_0_add_New(EOS(STATIC_5631), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) :|: TRUE
f5631_0_add_New(EOS(STATIC_5631), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) -> f5636_0_add_Duplicate(EOS(STATIC_5636), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5636_0_add_Duplicate(EOS(STATIC_5636), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5640_0_add_InvokeMethod(EOS(STATIC_5640), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5640_0_add_InvokeMethod(EOS(STATIC_5640), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5643_0__init__Load(EOS(STATIC_5643), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5643_0__init__Load(EOS(STATIC_5643), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5649_0__init__InvokeMethod(EOS(STATIC_5649), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5649_0__init__InvokeMethod(EOS(STATIC_5649), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5653_0__init__Return(EOS(STATIC_5653), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5653_0__init__Return(EOS(STATIC_5653), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5656_0_add_Store(EOS(STATIC_5656), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5656_0_add_Store(EOS(STATIC_5656), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5659_0_add_Load(EOS(STATIC_5659), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5659_0_add_Load(EOS(STATIC_5659), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5662_0_add_Load(EOS(STATIC_5662), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5662_0_add_Load(EOS(STATIC_5662), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5665_0_add_FieldAccess(EOS(STATIC_5665), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5665_0_add_FieldAccess(EOS(STATIC_5665), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5668_0_add_FieldAccess(EOS(STATIC_5668), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), o4447) :|: TRUE
f5668_0_add_FieldAccess(EOS(STATIC_5668), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), o4447) -> f5671_0_add_Load(EOS(STATIC_5671), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL))) :|: TRUE
f5671_0_add_Load(EOS(STATIC_5671), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL))) -> f5674_0_add_Load(EOS(STATIC_5674), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL))) :|: TRUE
f5674_0_add_Load(EOS(STATIC_5674), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL))) -> f5677_0_add_FieldAccess(EOS(STATIC_5677), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5677_0_add_FieldAccess(EOS(STATIC_5677), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5680_0_add_FieldAccess(EOS(STATIC_5680), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), o4446) :|: TRUE
f5680_0_add_FieldAccess(EOS(STATIC_5680), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), o4446) -> f5683_0_add_Load(EOS(STATIC_5683), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5683_0_add_Load(EOS(STATIC_5683), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5685_0_add_Load(EOS(STATIC_5685), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5685_0_add_Load(EOS(STATIC_5685), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5688_0_add_FieldAccess(EOS(STATIC_5688), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5688_0_add_FieldAccess(EOS(STATIC_5688), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5692_0_add_Load(EOS(STATIC_5692), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) :|: TRUE
f5692_0_add_Load(EOS(STATIC_5692), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) -> f5695_0_add_Load(EOS(STATIC_5695), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446))))) :|: TRUE
f5695_0_add_Load(EOS(STATIC_5695), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446))))) -> f5697_0_add_FieldAccess(EOS(STATIC_5697), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) :|: TRUE
f5697_0_add_FieldAccess(EOS(STATIC_5697), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) -> f5702_0_add_Return(EOS(STATIC_5702), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5702_0_add_Return(EOS(STATIC_5702), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5705_0_collectVariables_Return(EOS(STATIC_5705), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5705_0_collectVariables_Return(EOS(STATIC_5705), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5707_0_collectVariables_Load(EOS(STATIC_5707), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5707_0_collectVariables_Load(EOS(STATIC_5707), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5708_0_collectVariables_FieldAccess(EOS(STATIC_5708), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5708_0_collectVariables_FieldAccess(EOS(STATIC_5708), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5711_0_collectVariables_Store(EOS(STATIC_5711), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5711_0_collectVariables_Store(EOS(STATIC_5711), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5712_0_collectVariables_JMP(EOS(STATIC_5712), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5712_0_collectVariables_JMP(EOS(STATIC_5712), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5713_0_collectVariables_Load(EOS(STATIC_5713), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5713_0_collectVariables_Load(EOS(STATIC_5713), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5617_0_collectVariables_InvokeMethod(EOS(STATIC_5617), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5620_1_collectVariables_InvokeMethod(f5620_0_collectVariables_Load(EOS(STATIC_5620), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473))) :|: TRUE
f5620_0_collectVariables_Load(EOS(STATIC_5620), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5623_0_collectVariables_Load(EOS(STATIC_5623), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5623_0_collectVariables_Load(EOS(STATIC_5623), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5626_0_collectVariables_Load(EOS(STATIC_5626), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4471[List.value]o4537) :|: o4471[List.value]o4537 = 1
f5626_0_collectVariables_Load(EOS(STATIC_5626), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), o4545, o4548, java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), o4548[List.value]o4540) -> f5633_0_collectVariables_Load(EOS(STATIC_5633), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) :|: TRUE
f5633_0_collectVariables_Load(EOS(STATIC_5633), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) -> f5348_0_collectVariables_Load(EOS(STATIC_5348), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) :|: TRUE
f5348_0_collectVariables_Load(EOS(STATIC_5348), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(o3520sub), java.lang.Object(Terms.List(EOC, o3516, o3515))) -> f5349_0_collectVariables_FieldAccess(EOS(STATIC_5349), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(o3520sub)) :|: TRUE
f5634_0_collectVariables_Return(EOS(STATIC_5634), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5637_0_collectVariables_Load(EOS(STATIC_5637), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
f5637_0_collectVariables_Load(EOS(STATIC_5637), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5641_0_collectVariables_FieldAccess(EOS(STATIC_5641), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
f5641_0_collectVariables_FieldAccess(EOS(STATIC_5641), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5644_0_collectVariables_Store(EOS(STATIC_5644), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5644_0_collectVariables_Store(EOS(STATIC_5644), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5646_0_collectVariables_JMP(EOS(STATIC_5646), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5646_0_collectVariables_JMP(EOS(STATIC_5646), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5650_0_collectVariables_Load(EOS(STATIC_5650), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5650_0_collectVariables_Load(EOS(STATIC_5650), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(EOS(STATIC_5600), java.lang.Object(o4579sub), java.lang.Object(Terms.List(EOC, o4571, o4570))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5634_0_collectVariables_Return(EOS(STATIC_5634), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
R rules:
f5348_0_collectVariables_Load(EOS(STATIC_5348), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(o3520sub), java.lang.Object(Terms.List(EOC, o3516, o3515))) -> f5349_0_collectVariables_FieldAccess(EOS(STATIC_5349), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(o3520sub)) :|: TRUE
f5349_0_collectVariables_FieldAccess(EOS(STATIC_5349), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) -> f5350_0_collectVariables_FieldAccess(EOS(STATIC_5350), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) :|: TRUE
f5350_0_collectVariables_FieldAccess(EOS(STATIC_5350), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523)))) -> f5351_0_collectVariables_Store(EOS(STATIC_5351), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5351_0_collectVariables_Store(EOS(STATIC_5351), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) -> f5352_0_collectVariables_Load(EOS(STATIC_5352), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5352_0_collectVariables_Load(EOS(STATIC_5352), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) -> f5469_0_collectVariables_Load(EOS(STATIC_5469), o3513, java.lang.Object(Terms.List(EOC, o3516, o3515)), java.lang.Object(Terms.List(EOC, o3516, o3515)), o3523) :|: TRUE
f5469_0_collectVariables_Load(EOS(STATIC_5469), o3958, java.lang.Object(Terms.List(EOC, o3961, o3960)), java.lang.Object(Terms.List(EOC, o3961, o3960)), o3965) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o3958, java.lang.Object(Terms.List(EOC, o3961, o3960)), java.lang.Object(Terms.List(EOC, o3961, o3960)), o3965) :|: TRUE
f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4451) -> f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4451, o4451) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) -> f5597_0_collectVariables_NULL(EOS(STATIC_5597), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), NULL, NULL) -> f5598_0_collectVariables_NULL(EOS(STATIC_5598), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), NULL, NULL) :|: TRUE
f5597_0_collectVariables_NULL(EOS(STATIC_5597), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) -> f5599_0_collectVariables_Load(EOS(STATIC_5599), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub)) :|: TRUE
f5598_0_collectVariables_NULL(EOS(STATIC_5598), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), NULL, NULL) -> f5600_0_collectVariables_Return(EOS(STATIC_5600), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5599_0_collectVariables_Load(EOS(STATIC_5599), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub)) -> f5601_0_collectVariables_FieldAccess(EOS(STATIC_5601), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4470sub), java.lang.Object(o4470sub)) :|: TRUE
f5601_0_collectVariables_FieldAccess(EOS(STATIC_5601), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) -> f5603_0_collectVariables_FieldAccess(EOS(STATIC_5603), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) :|: TRUE
f5603_0_collectVariables_FieldAccess(EOS(STATIC_5603), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), java.lang.Object(Terms.List(EOC, o4472, o4473))) -> f5604_0_collectVariables_CheckCast(EOS(STATIC_5604), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4472, o4473)), o4472) :|: TRUE
f5604_0_collectVariables_CheckCast(EOS(STATIC_5604), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub), o4473)), java.lang.Object(o4483sub)) -> f5606_0_collectVariables_CheckCast(EOS(STATIC_5606), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub), o4473)), java.lang.Object(o4483sub)) :|: TRUE
f5604_0_collectVariables_CheckCast(EOS(STATIC_5604), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL) -> f5607_0_collectVariables_CheckCast(EOS(STATIC_5607), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL) :|: TRUE
f5606_0_collectVariables_CheckCast(EOS(STATIC_5606), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5608_0_collectVariables_CheckCast(EOS(STATIC_5608), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) :|: TRUE
f5606_0_collectVariables_CheckCast(EOS(STATIC_5606), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473)), java.lang.Object(o4485sub)) -> f5609_0_collectVariables_CheckCast(EOS(STATIC_5609), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473)), java.lang.Object(o4485sub)) :|: TRUE
f5607_0_collectVariables_CheckCast(EOS(STATIC_5607), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL) -> f5610_0_collectVariables_Load(EOS(STATIC_5610), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL) :|: TRUE
f5608_0_collectVariables_CheckCast(EOS(STATIC_5608), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5611_0_collectVariables_Load(EOS(STATIC_5611), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) :|: TRUE
f5609_0_collectVariables_CheckCast(EOS(STATIC_5609), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473)), java.lang.Object(o4485sub)) -> f5612_0__init__Load(EOS(STATIC_5612), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5610_0_collectVariables_Load(EOS(STATIC_5610), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL) -> f5613_0_collectVariables_InvokeMethod(EOS(STATIC_5613), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL, java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5611_0_collectVariables_Load(EOS(STATIC_5611), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub)) -> f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4484sub), o4473)), java.lang.Object(o4484sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5612_0__init__Load(EOS(STATIC_5612), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5618_0__init__InvokeMethod(EOS(STATIC_5618), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5613_0_collectVariables_InvokeMethod(EOS(STATIC_5613), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473)), NULL, java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5615_0__init__Load(EOS(STATIC_5615), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5616_0_collectVariables_InvokeMethod(EOS(STATIC_5616), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5617_0_collectVariables_InvokeMethod(EOS(STATIC_5617), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5615_0__init__Load(EOS(STATIC_5615), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5622_0__init__InvokeMethod(EOS(STATIC_5622), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5616_0_collectVariables_InvokeMethod(EOS(STATIC_5616), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5619_0_collectVariables_Load(EOS(STATIC_5619), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5617_0_collectVariables_InvokeMethod(EOS(STATIC_5617), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5620_1_collectVariables_InvokeMethod(f5620_0_collectVariables_Load(EOS(STATIC_5620), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473))) :|: TRUE
f5618_0__init__InvokeMethod(EOS(STATIC_5618), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5621_0__init__Load(EOS(STATIC_5621), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5619_0_collectVariables_Load(EOS(STATIC_5619), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5625_0_collectVariables_Load(EOS(STATIC_5625), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5620_0_collectVariables_Load(EOS(STATIC_5620), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5623_0_collectVariables_Load(EOS(STATIC_5623), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5621_0__init__Load(EOS(STATIC_5621), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5627_0__init__InvokeMethod(EOS(STATIC_5627), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5622_0__init__InvokeMethod(EOS(STATIC_5622), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5624_0__init__Load(EOS(STATIC_5624), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5623_0_collectVariables_Load(EOS(STATIC_5623), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5626_0_collectVariables_Load(EOS(STATIC_5626), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4537sub), o4473)), java.lang.Object(o4537sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), o4471[List.value]o4537) :|: o4471[List.value]o4537 = 1
f5624_0__init__Load(EOS(STATIC_5624), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5630_0__init__InvokeMethod(EOS(STATIC_5630), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5625_0_collectVariables_Load(EOS(STATIC_5625), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5628_0_collectVariables_InvokeMethod(EOS(STATIC_5628), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) :|: TRUE
f5626_0_collectVariables_Load(EOS(STATIC_5626), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), o4545, o4548, java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), o4548[List.value]o4540) -> f5633_0_collectVariables_Load(EOS(STATIC_5633), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) :|: TRUE
f5627_0__init__InvokeMethod(EOS(STATIC_5627), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5629_0__init__Load(EOS(STATIC_5629), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5628_0_collectVariables_InvokeMethod(EOS(STATIC_5628), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) -> f5631_0_add_New(EOS(STATIC_5631), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) :|: TRUE
f5629_0__init__Load(EOS(STATIC_5629), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5635_0__init__InvokeMethod(EOS(STATIC_5635), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5630_0__init__InvokeMethod(EOS(STATIC_5630), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5632_0__init__Load(EOS(STATIC_5632), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5631_0_add_New(EOS(STATIC_5631), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub)) -> f5636_0_add_Duplicate(EOS(STATIC_5636), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5632_0__init__Load(EOS(STATIC_5632), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5639_0__init__InvokeMethod(EOS(STATIC_5639), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5634_0_collectVariables_Return(EOS(STATIC_5634), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5637_0_collectVariables_Load(EOS(STATIC_5637), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
f5635_0__init__InvokeMethod(EOS(STATIC_5635), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5638_0__init__Load(EOS(STATIC_5638), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5636_0_add_Duplicate(EOS(STATIC_5636), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5640_0_add_InvokeMethod(EOS(STATIC_5640), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5637_0_collectVariables_Load(EOS(STATIC_5637), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5641_0_collectVariables_FieldAccess(EOS(STATIC_5641), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
f5638_0__init__Load(EOS(STATIC_5638), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5645_0__init__InvokeMethod(EOS(STATIC_5645), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5639_0__init__InvokeMethod(EOS(STATIC_5639), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5642_0__init__Load(EOS(STATIC_5642), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5640_0_add_InvokeMethod(EOS(STATIC_5640), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5643_0__init__Load(EOS(STATIC_5643), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5641_0_collectVariables_FieldAccess(EOS(STATIC_5641), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5644_0_collectVariables_Store(EOS(STATIC_5644), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5642_0__init__Load(EOS(STATIC_5642), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5648_0__init__InvokeMethod(EOS(STATIC_5648), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5643_0__init__Load(EOS(STATIC_5643), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5649_0__init__InvokeMethod(EOS(STATIC_5649), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5644_0_collectVariables_Store(EOS(STATIC_5644), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5646_0_collectVariables_JMP(EOS(STATIC_5646), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5645_0__init__InvokeMethod(EOS(STATIC_5645), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5647_0__init__Load(EOS(STATIC_5647), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5646_0_collectVariables_JMP(EOS(STATIC_5646), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5650_0_collectVariables_Load(EOS(STATIC_5650), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5647_0__init__Load(EOS(STATIC_5647), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5651_0__init__Load(EOS(STATIC_5651), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5648_0__init__InvokeMethod(EOS(STATIC_5648), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5652_0__init__Load(EOS(STATIC_5652), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5649_0__init__InvokeMethod(EOS(STATIC_5649), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5653_0__init__Return(EOS(STATIC_5653), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5650_0_collectVariables_Load(EOS(STATIC_5650), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), o4473) :|: TRUE
f5651_0__init__Load(EOS(STATIC_5651), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5654_0__init__FieldAccess(EOS(STATIC_5654), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5652_0__init__Load(EOS(STATIC_5652), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5655_0__init__Load(EOS(STATIC_5655), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5653_0__init__Return(EOS(STATIC_5653), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5656_0_add_Store(EOS(STATIC_5656), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5654_0__init__FieldAccess(EOS(STATIC_5654), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5657_0__init__Load(EOS(STATIC_5657), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5655_0__init__Load(EOS(STATIC_5655), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5658_0__init__FieldAccess(EOS(STATIC_5658), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5656_0_add_Store(EOS(STATIC_5656), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5659_0_add_Load(EOS(STATIC_5659), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5657_0__init__Load(EOS(STATIC_5657), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5660_0__init__InvokeMethod(EOS(STATIC_5660), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5658_0__init__FieldAccess(EOS(STATIC_5658), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5661_0__init__Load(EOS(STATIC_5661), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5659_0_add_Load(EOS(STATIC_5659), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5662_0_add_Load(EOS(STATIC_5662), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) :|: TRUE
f5660_0__init__InvokeMethod(EOS(STATIC_5660), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5663_0__init__StackPop(EOS(STATIC_5663), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5661_0__init__Load(EOS(STATIC_5661), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5664_0__init__InvokeMethod(EOS(STATIC_5664), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5662_0_add_Load(EOS(STATIC_5662), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL))) -> f5665_0_add_FieldAccess(EOS(STATIC_5665), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5663_0__init__StackPop(EOS(STATIC_5663), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5666_0__init__Return(EOS(STATIC_5666), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5664_0__init__InvokeMethod(EOS(STATIC_5664), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5667_0__init__StackPop(EOS(STATIC_5667), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5665_0_add_FieldAccess(EOS(STATIC_5665), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5668_0_add_FieldAccess(EOS(STATIC_5668), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), o4447) :|: TRUE
f5666_0__init__Return(EOS(STATIC_5666), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5669_0__init__Return(EOS(STATIC_5669), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5667_0__init__StackPop(EOS(STATIC_5667), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5670_0__init__Return(EOS(STATIC_5670), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5668_0_add_FieldAccess(EOS(STATIC_5668), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, NULL, NULL)), java.lang.Object(Terms.List(EOC, NULL, NULL)), o4447) -> f5671_0_add_Load(EOS(STATIC_5671), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL))) :|: TRUE
f5669_0__init__Return(EOS(STATIC_5669), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5672_0__init__Return(EOS(STATIC_5672), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5670_0__init__Return(EOS(STATIC_5670), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5673_0__init__Return(EOS(STATIC_5673), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5671_0_add_Load(EOS(STATIC_5671), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL))) -> f5674_0_add_Load(EOS(STATIC_5674), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL))) :|: TRUE
f5672_0__init__Return(EOS(STATIC_5672), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5675_0__init__Return(EOS(STATIC_5675), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5673_0__init__Return(EOS(STATIC_5673), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5676_0__init__Return(EOS(STATIC_5676), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5674_0_add_Load(EOS(STATIC_5674), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL))) -> f5677_0_add_FieldAccess(EOS(STATIC_5677), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5675_0__init__Return(EOS(STATIC_5675), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) -> f5678_0_collectVariables_CheckCast(EOS(STATIC_5678), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4485sub), o4473))) :|: TRUE
f5676_0__init__Return(EOS(STATIC_5676), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5679_0__init__Return(EOS(STATIC_5679), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5677_0_add_FieldAccess(EOS(STATIC_5677), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5680_0_add_FieldAccess(EOS(STATIC_5680), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), o4446) :|: TRUE
f5679_0__init__Return(EOS(STATIC_5679), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) -> f5682_0_collectVariables_InvokeMethod(EOS(STATIC_5682), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, NULL, o4473))) :|: TRUE
f5680_0_add_FieldAccess(EOS(STATIC_5680), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, NULL)), java.lang.Object(Terms.List(EOC, o4447, NULL)), o4446) -> f5683_0_add_Load(EOS(STATIC_5683), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5683_0_add_Load(EOS(STATIC_5683), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5685_0_add_Load(EOS(STATIC_5685), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5685_0_add_Load(EOS(STATIC_5685), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5688_0_add_FieldAccess(EOS(STATIC_5688), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) :|: TRUE
f5687_0_collectVariables_CheckCast(EOS(STATIC_5687), o4444, java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4622sub), o4621))) -> f5689_0_collectVariables_InvokeMethod(EOS(STATIC_5689), o4444, java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473))) :|: TRUE
f5688_0_add_FieldAccess(EOS(STATIC_5688), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446))) -> f5692_0_add_Load(EOS(STATIC_5692), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) :|: TRUE
f5689_0_collectVariables_InvokeMethod(EOS(STATIC_5689), o4444, java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4444, java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473))) :|: TRUE
f5691_0_collectVariables_InvokeMethod(EOS(STATIC_5691), o4444, java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub), o4473)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, NULL, o4657))) -> f5701_0_collectVariables_InvokeMethod(EOS(STATIC_5701), o4444, java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub), o4473)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, NULL, o4657))) :|: TRUE
f5692_0_add_Load(EOS(STATIC_5692), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) -> f5695_0_add_Load(EOS(STATIC_5695), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446))))) :|: TRUE
f5695_0_add_Load(EOS(STATIC_5695), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446))))) -> f5697_0_add_FieldAccess(EOS(STATIC_5697), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) :|: TRUE
f5697_0_add_FieldAccess(EOS(STATIC_5697), o4444, java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473)), java.lang.Object(Terms.List(EOC, o4447, java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(o4536sub)) -> f5702_0_add_Return(EOS(STATIC_5702), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5700_0_collectVariables_InvokeMethod(EOS(STATIC_5700), o4444, java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub), o4473)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4727sub), o4726))) -> f5701_0_collectVariables_InvokeMethod(EOS(STATIC_5701), o4444, java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub), o4473)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4727sub), o4726))) :|: TRUE
f5701_0_collectVariables_InvokeMethod(EOS(STATIC_5701), o4779, java.lang.Object(Terms.List(EOC, o4774, o4773)), java.lang.Object(Terms.List(EOC, o4774, o4773)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4785sub), o4784)), java.lang.Object(Terms.List(EOC, o4774, o4773)), java.lang.Object(Terms.List(EOC, o4777, o4776))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4779, java.lang.Object(Terms.List(EOC, o4774, o4773)), java.lang.Object(Terms.List(EOC, o4774, o4773)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4785sub), o4784))) :|: TRUE
f5702_0_add_Return(EOS(STATIC_5702), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5705_0_collectVariables_Return(EOS(STATIC_5705), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5705_0_collectVariables_Return(EOS(STATIC_5705), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5707_0_collectVariables_Load(EOS(STATIC_5707), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5707_0_collectVariables_Load(EOS(STATIC_5707), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5708_0_collectVariables_FieldAccess(EOS(STATIC_5708), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) :|: TRUE
f5708_0_collectVariables_FieldAccess(EOS(STATIC_5708), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), o4473))) -> f5711_0_collectVariables_Store(EOS(STATIC_5711), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5710_0_collectVariables_InvokeMethod(EOS(STATIC_5710), o4444, java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub), o4473)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4852sub), o4851))) -> f5701_0_collectVariables_InvokeMethod(EOS(STATIC_5701), o4444, java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub), o4473)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4852sub), o4851))) :|: TRUE
f5711_0_collectVariables_Store(EOS(STATIC_5711), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5712_0_collectVariables_JMP(EOS(STATIC_5712), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5712_0_collectVariables_JMP(EOS(STATIC_5712), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5713_0_collectVariables_Load(EOS(STATIC_5713), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5713_0_collectVariables_Load(EOS(STATIC_5713), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) -> f5595_0_collectVariables_Load(EOS(STATIC_5595), o4444, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub), java.lang.Object(Terms.List(EOC, o4447, o4446)))), o4473) :|: TRUE
f5633_0_collectVariables_Load(EOS(STATIC_5633), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) -> f5348_0_collectVariables_Load(EOS(STATIC_5348), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542)), java.lang.Object(o4540sub), java.lang.Object(Terms.List(EOC, o4543, o4542))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(EOS(STATIC_5600), java.lang.Object(o4579sub), java.lang.Object(Terms.List(EOC, o4571, o4570))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) -> f5634_0_collectVariables_Return(EOS(STATIC_5634), o4444, java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, o4571, o4570)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub), o4473))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(EOS(STATIC_5678), java.lang.Object(o4630sub), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4622sub), o4621))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473))) -> f5687_0_collectVariables_CheckCast(EOS(STATIC_5687), o4444, java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub), o4473)), java.lang.Object(Terms.List(EOC, o4620, o4619)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4622sub), o4621))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(EOS(STATIC_5682), java.lang.Object(o4665sub), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, NULL, o4657))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub), o4473))) -> f5691_0_collectVariables_InvokeMethod(EOS(STATIC_5691), o4444, java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub), o4473)), java.lang.Object(Terms.List(EOC, o4656, o4655)), java.lang.Object(Terms.List(EOC, NULL, o4657))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(EOS(STATIC_5689), java.lang.Object(o4735sub), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4727sub), o4726))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub), o4473))) -> f5700_0_collectVariables_InvokeMethod(EOS(STATIC_5700), o4444, java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub), o4473)), java.lang.Object(Terms.List(EOC, o4725, o4724)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4727sub), o4726))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), java.lang.Object(o4860sub), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4852sub), o4851))), o4444, java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, o4447, o4446)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub), o4473))) -> f5710_0_collectVariables_InvokeMethod(EOS(STATIC_5710), o4444, java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub), o4473)), java.lang.Object(Terms.List(EOC, o4850, o4849)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4852sub), o4851))) :|: TRUE
Combined rules. Obtained 3 conditional rules for P and 11 conditional rules for R.P rules:
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)))), java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) -> f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(o4483sub:0), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(EOS(STATIC_5600), java.lang.Object(o4579sub:0), java.lang.Object(Terms.List(EOC, o4571:0, o4570:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub:0), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))))) -> f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4571:0, o4570:0)), java.lang.Object(Terms.List(EOC, o4571:0, o4570:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(o4483sub:0), java.lang.Object(Terms.List(EOC, o4571:0, o4570:0))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))))), o4473:1)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))))), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) -> f5620_1_collectVariables_InvokeMethod(f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))))), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(o4483sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))))), o4473:1))) :|: TRUE
R rules:
f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(EOS(STATIC_5678), java.lang.Object(o4630sub:0), java.lang.Object(Terms.List(EOC, o4620:0, o4619:0)), java.lang.Object(Terms.List(EOC, o4620:0, o4619:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4622sub:0), o4621:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub:0), o4473:0))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4444:0, java.lang.Object(Terms.List(EOC, o4620:0, o4619:0)), java.lang.Object(Terms.List(EOC, o4620:0, o4619:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4630sub:0), o4473:0))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523:0))), o4473:0)), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523:0))), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) -> f5620_1_collectVariables_InvokeMethod(f5596_0_collectVariables_NULL(EOS(STATIC_5596), java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523:0))), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), o3523:0, o3523:0), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(Terms.Term(Terms.FunctionApplication(EOC, o3523:0))), o4473:0))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(EOS(STATIC_5682), java.lang.Object(o4665sub:0), java.lang.Object(Terms.List(EOC, o4656:0, o4655:0)), java.lang.Object(Terms.List(EOC, o4656:0, o4655:0)), java.lang.Object(Terms.List(EOC, NULL, o4657:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub:0), o4473:0))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4444:0, java.lang.Object(Terms.List(EOC, o4656:0, o4655:0)), java.lang.Object(Terms.List(EOC, o4656:0, o4655:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4665sub:0), o4473:0))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(EOS(STATIC_5600), java.lang.Object(o4579sub:0), java.lang.Object(Terms.List(EOC, o4571:0, o4570:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4579sub:0), o4473:0))) -> f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, o4571:0, o4570:0)), java.lang.Object(Terms.List(EOC, o4571:0, o4570:0)), o4473:0, o4473:0) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), NULL, NULL) -> f5600_0_collectVariables_Return(EOS(STATIC_5600), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) :|: TRUE
f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), o4473:0)), java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) -> f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)))), java.lang.Object(Terms.List(EOC, java.lang.Object(o4536sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)))), o4473:0, o4473:0) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(EOS(STATIC_5689), java.lang.Object(o4735sub:0), java.lang.Object(Terms.List(EOC, o4725:0, o4724:0)), java.lang.Object(Terms.List(EOC, o4725:0, o4724:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4727sub:0), o4726:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub:0), o4473:0))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4444:0, java.lang.Object(Terms.List(EOC, o4725:0, o4724:0)), java.lang.Object(Terms.List(EOC, o4725:0, o4724:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4735sub:0), o4473:0))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), java.lang.Object(o4860sub:0), java.lang.Object(Terms.List(EOC, o4850:0, o4849:0)), java.lang.Object(Terms.List(EOC, o4850:0, o4849:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4852sub:0), o4851:0))), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub:0), o4473:0))) -> f5704_0_collectVariables_InvokeMethod(EOS(STATIC_5704), o4444:0, java.lang.Object(Terms.List(EOC, o4850:0, o4849:0)), java.lang.Object(Terms.List(EOC, o4850:0, o4849:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4860sub:0), o4473:0))) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))) -> f5614_0_collectVariables_InvokeMethod(EOS(STATIC_5614), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(o4483sub:0), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0))) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, NULL, o4473:0)), java.lang.Object(Terms.List(EOC, NULL, o4473:0))) -> f5682_0_collectVariables_InvokeMethod(EOS(STATIC_5682), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, NULL, o4473:0))) :|: TRUE
f5596_0_collectVariables_NULL(EOS(STATIC_5596), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))) -> f5678_0_collectVariables_CheckCast(EOS(STATIC_5678), o4444:0, java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, o4447:0, o4446:0)), java.lang.Object(Terms.List(EOC, java.lang.Object(o4483sub:0), o4473:0))) :|: TRUE
Filtered ground terms:
   f5614_0_collectVariables_InvokeMethod(x1, x2, x3, x4, x5, x6, x7) -> f5614_0_collectVariables_InvokeMethod(x2, x3, x4, x5, x6, x7)
   f5600_0_collectVariables_Return(x1, x2, x3) -> f5600_0_collectVariables_Return(x2, x3)
   Terms.List(x1, x2, x3) -> Terms.List(x2, x3)
   Terms.FunctionApplication(x1, x2) -> Terms.FunctionApplication(x2)
   f5704_0_collectVariables_InvokeMethod(x1, x2, x3, x4, x5) -> f5704_0_collectVariables_InvokeMethod(x2, x3, x4, x5)
   f5596_0_collectVariables_NULL(x1, x2, x3, x4, x5, x6) -> f5596_0_collectVariables_NULL(x2, x3, x4, x5, x6)
   f5682_0_collectVariables_InvokeMethod(x1, x2, x3, x4, x5) -> f5682_0_collectVariables_InvokeMethod(x2, x3, x4, x5)
   f5678_0_collectVariables_CheckCast(x1, x2, x3, x4, x5) -> f5678_0_collectVariables_CheckCast(x2, x3, x4, x5)
   f5689_0_collectVariables_InvokeMethod(x1, x2, x3, x4, x5) -> f5689_0_collectVariables_InvokeMethod(x2, x3, x4, x5)
Filtered unneeded arguments:
   f5620_1_collectVariables_InvokeMethod(x1, x2, x3, x4, x5) -> f5620_1_collectVariables_InvokeMethod(x1, x2, x5)
   f5678_0_collectVariables_CheckCast(x1, x2, x3, x4) -> f5678_0_collectVariables_CheckCast(x1)
   f5682_0_collectVariables_InvokeMethod(x1, x2, x3, x4) -> f5682_0_collectVariables_InvokeMethod(x1)
   f5704_0_collectVariables_InvokeMethod(x1, x2, x3, x4) -> f5704_0_collectVariables_InvokeMethod(x1)
Filtered duplicate args:
   f5614_0_collectVariables_InvokeMethod(x1, x2, x3, x4, x5, x6) -> f5614_0_collectVariables_InvokeMethod(x1, x4, x6)
   f5596_0_collectVariables_NULL(x1, x2, x3, x4, x5) -> f5596_0_collectVariables_NULL(x1, x3, x5)
   f5689_0_collectVariables_InvokeMethod(x1, x2, x3, x4) -> f5689_0_collectVariables_InvokeMethod(x1, x3, x4)
Combined rules. Obtained 4 conditional rules for P and 10 conditional rules for R.P rules:
F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) :|: TRUE
F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))))) :|: TRUE
F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5620_1_COLLECTVARIABLES_INVOKEMETHOD(f5614_0_collectVariables_InvokeMethod(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0))) :|: TRUE
F5620_1_COLLECTVARIABLES_INVOKEMETHOD(f5600_0_collectVariables_Return(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))) :|: TRUE
R rules:
f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5678_0_collectVariables_CheckCast(o4444:0:0) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4579sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4571:0:0, o4570:0:0)), o4473:0:0) :|: TRUE
f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))), o4473:0:0) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(o4630sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4630sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0) :|: TRUE
f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), NULL) -> f5600_0_collectVariables_Return(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(o4665sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4665sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(o4735sub:0:0), java.lang.Object(Terms.List(o4725:0:0, o4724:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4727sub:0:0), o4726:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4735sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0) :|: TRUE
f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(o4860sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4860sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0) :|: TRUE
f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(NULL, o4473:0:0))) -> f5682_0_collectVariables_InvokeMethod(o4444:0:0) :|: TRUE
f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0))) -> f5620_1_collectVariables_InvokeMethod(f5596_0_collectVariables_NULL(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), o3523:0:0), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0))) :|: TRUE

----------------------------------------

(9)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))
   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))))
   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5620_1_COLLECTVARIABLES_INVOKEMETHOD(f5614_0_collectVariables_InvokeMethod(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)))
   F5620_1_COLLECTVARIABLES_INVOKEMETHOD(f5600_0_collectVariables_Return(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0)))

The TRS R consists of the following rules:

   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5678_0_collectVariables_CheckCast(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4579sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4571:0:0, o4570:0:0)), o4473:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))), o4473:0:0)
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(o4630sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4630sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), NULL) -> f5600_0_collectVariables_Return(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(o4665sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4665sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(o4735sub:0:0), java.lang.Object(Terms.List(o4725:0:0, o4724:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4727sub:0:0), o4726:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4735sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(o4860sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4860sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(NULL, o4473:0:0))) -> f5682_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0))) -> f5620_1_collectVariables_InvokeMethod(f5596_0_collectVariables_NULL(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), o3523:0:0), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0)))

The set Q consists of the following terms:

   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4)))
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2))), x3, java.lang.Object(Terms.List(java.lang.Object(x0), x4)))
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), NULL)
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4))), x5, java.lang.Object(Terms.List(java.lang.Object(x0), x6)))
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(NULL, x3)))

We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(10) DependencyGraphProof (EQUIVALENT)
The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 2 less nodes.
----------------------------------------

(11)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))))
   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))

The TRS R consists of the following rules:

   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5678_0_collectVariables_CheckCast(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(o4579sub:0:0), java.lang.Object(Terms.List(o4571:0:0, o4570:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4579sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4571:0:0, o4570:0:0)), o4473:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))) -> f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))), o4473:0:0)
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(o4630sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4630sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), NULL) -> f5600_0_collectVariables_Return(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(o4665sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4665sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(o4735sub:0:0), java.lang.Object(Terms.List(o4725:0:0, o4724:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4727sub:0:0), o4726:0:0))), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4735sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(o4860sub:0:0)), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4860sub:0:0), o4473:0:0))) -> f5704_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(NULL, o4473:0:0))) -> f5682_0_collectVariables_InvokeMethod(o4444:0:0)
   f5596_0_collectVariables_NULL(o4444:0:0, java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0))) -> f5620_1_collectVariables_InvokeMethod(f5596_0_collectVariables_NULL(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)), o3523:0:0), o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(o3523:0:0))), o4473:0:0)))

The set Q consists of the following terms:

   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4)))
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2))), x3, java.lang.Object(Terms.List(java.lang.Object(x0), x4)))
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), NULL)
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4))), x5, java.lang.Object(Terms.List(java.lang.Object(x0), x6)))
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(NULL, x3)))

We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(12) UsableRulesProof (EQUIVALENT)
As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [LPAR04] we can delete all non-usable rules [FROCOS05] from R.
----------------------------------------

(13)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))))
   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))

R is empty.
The set Q consists of the following terms:

   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4)))
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2))), x3, java.lang.Object(Terms.List(java.lang.Object(x0), x4)))
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), NULL)
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4))), x5, java.lang.Object(Terms.List(java.lang.Object(x0), x6)))
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(NULL, x3)))

We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(14) QReductionProof (EQUIVALENT)
We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4)))
   f5620_1_collectVariables_InvokeMethod(f5600_0_collectVariables_Return(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2))), x3, java.lang.Object(Terms.List(java.lang.Object(x0), x4)))
   f5620_1_collectVariables_InvokeMethod(f5678_0_collectVariables_CheckCast(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), NULL)
   f5620_1_collectVariables_InvokeMethod(f5682_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5620_1_collectVariables_InvokeMethod(f5689_0_collectVariables_InvokeMethod(java.lang.Object(x0), java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(java.lang.Object(x3), x4))), x5, java.lang.Object(Terms.List(java.lang.Object(x0), x6)))
   f5620_1_collectVariables_InvokeMethod(f5704_0_collectVariables_InvokeMethod(java.lang.Object(x0)), x1, java.lang.Object(Terms.List(java.lang.Object(x0), x2)))
   f5596_0_collectVariables_NULL(x0, java.lang.Object(Terms.List(x1, x2)), java.lang.Object(Terms.List(NULL, x3)))


----------------------------------------

(15)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))))
   F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(16) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)))), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(java.lang.Object(o4536sub:0:0), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))))
The graph contains the following edges 1 >= 1, 2 > 2


*F5614_0_COLLECTVARIABLES_INVOKEMETHOD(o4444:0:0, java.lang.Object(Terms.List(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), o4473:1:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0))) -> F5614_0_COLLECTVARIABLES_INVOKEMETHOD(java.lang.Object(Terms.Term(Terms.FunctionApplication(java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0))))), java.lang.Object(Terms.List(java.lang.Object(o4483sub:0:0), o4473:0:0)), java.lang.Object(Terms.List(o4447:0:0, o4446:0:0)))
The graph contains the following edges 2 > 1, 2 > 2, 3 >= 3


----------------------------------------

(17)
YES

----------------------------------------

(18)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Terms.Term.create(I)LTerms/Term;
SCC calls the following helper methods: Terms.Term.create(I)LTerms/Term;
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*java.lang.String: [count]
*Terms.List: [value, next]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(19) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 108 IRulesP rules:
f148_0_create_ConstantStackPush(EOS(STATIC_148(java.lang.Object(o22sub), i10)), i19, i19, i19) -> f152_0_create_GT(EOS(STATIC_152(java.lang.Object(o22sub), i10)), i19, i19, i19, 1) :|: TRUE
f152_0_create_GT(EOS(STATIC_152(java.lang.Object(o22sub), i10)), i24, i24, i24, matching1) -> f159_0_create_GT(EOS(STATIC_159(java.lang.Object(o22sub), i10)), i24, i24, i24, 1) :|: TRUE && matching1 = 1
f159_0_create_GT(EOS(STATIC_159(java.lang.Object(o22sub), i10)), i24, i24, i24, matching1) -> f169_0_create_InvokeMethod(EOS(STATIC_169(java.lang.Object(o22sub), i10)), i24, i24) :|: i24 > 1 && matching1 = 1
f169_0_create_InvokeMethod(EOS(STATIC_169(java.lang.Object(o22sub), i10)), i24, i24) -> f181_0_random_FieldAccess(EOS(STATIC_181(java.lang.Object(o22sub), i10)), i24, i24) :|: TRUE
f181_0_random_FieldAccess(EOS(STATIC_181(java.lang.Object(o22sub), i10)), i24, i24) -> f203_0_random_FieldAccess(EOS(STATIC_203(java.lang.Object(o22sub), i10)), i24, i24, java.lang.Object(o22sub)) :|: TRUE
f203_0_random_FieldAccess(EOS(STATIC_203(java.lang.Object(o22sub), i10)), i24, i24, java.lang.Object(o22sub)) -> f213_0_random_ArrayAccess(EOS(STATIC_213(java.lang.Object(o22sub), i10)), i24, i24, java.lang.Object(o22sub), i10) :|: TRUE
f213_0_random_ArrayAccess(EOS(STATIC_213(java.lang.Object(ARRAY(i25)), i10)), i24, i24, java.lang.Object(ARRAY(i25)), i10) -> f224_0_random_ArrayAccess(EOS(STATIC_224(java.lang.Object(ARRAY(i25)), i10)), i24, i24, java.lang.Object(ARRAY(i25)), i10) :|: i25 >= 0
f224_0_random_ArrayAccess(EOS(STATIC_224(java.lang.Object(ARRAY(i25)), i10)), i24, i24, java.lang.Object(ARRAY(i25)), i10) -> f238_0_random_ArrayAccess(EOS(STATIC_238(java.lang.Object(ARRAY(i25)), i10)), i24, i24, java.lang.Object(ARRAY(i25)), i10) :|: TRUE
f238_0_random_ArrayAccess(EOS(STATIC_238(java.lang.Object(ARRAY(i25)), i10)), i24, i24, java.lang.Object(ARRAY(i25)), i10) -> f247_0_random_Store(EOS(STATIC_247(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34) :|: i10 < i25
f247_0_random_Store(EOS(STATIC_247(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34) -> f259_0_random_FieldAccess(EOS(STATIC_259(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34) :|: TRUE
f259_0_random_FieldAccess(EOS(STATIC_259(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34) -> f271_0_random_ConstantStackPush(EOS(STATIC_271(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i10) :|: TRUE
f271_0_random_ConstantStackPush(EOS(STATIC_271(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i10) -> f278_0_random_IntArithmetic(EOS(STATIC_278(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i10, 1) :|: TRUE
f278_0_random_IntArithmetic(EOS(STATIC_278(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i10, matching1) -> f288_0_random_FieldAccess(EOS(STATIC_288(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i10 + 1) :|: i10 > 0 && matching1 = 1
f288_0_random_FieldAccess(EOS(STATIC_288(java.lang.Object(ARRAY(i25)), i10)), i24, i24, o34, i34) -> f297_0_random_Load(EOS(STATIC_297(java.lang.Object(ARRAY(i25)), i34)), i24, i24, o34) :|: TRUE
f297_0_random_Load(EOS(STATIC_297(java.lang.Object(ARRAY(i25)), i34)), i24, i24, o34) -> f306_0_random_InvokeMethod(EOS(STATIC_306(java.lang.Object(ARRAY(i25)), i34)), i24, i24, o34) :|: TRUE
f306_0_random_InvokeMethod(EOS(STATIC_306(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o56sub)) -> f316_0_random_InvokeMethod(EOS(STATIC_316(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o56sub)) :|: TRUE
f316_0_random_InvokeMethod(EOS(STATIC_316(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) -> f329_0_random_InvokeMethod(EOS(STATIC_329(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) :|: TRUE
f329_0_random_InvokeMethod(EOS(STATIC_329(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) -> f338_0_length_Load(EOS(STATIC_338(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) :|: TRUE
f338_0_length_Load(EOS(STATIC_338(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) -> f353_0_length_FieldAccess(EOS(STATIC_353(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(o61sub)) :|: TRUE
f353_0_length_FieldAccess(EOS(STATIC_353(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(java.lang.String(EOC, i64))) -> f363_0_length_FieldAccess(EOS(STATIC_363(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(java.lang.String(EOC, i64))) :|: i64 >= 0
f363_0_length_FieldAccess(EOS(STATIC_363(java.lang.Object(ARRAY(i25)), i34)), i24, i24, java.lang.Object(java.lang.String(EOC, i64))) -> f377_0_length_Return(EOS(STATIC_377(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f377_0_length_Return(EOS(STATIC_377(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f389_0_random_Return(EOS(STATIC_389(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f389_0_random_Return(EOS(STATIC_389(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f400_0_create_Store(EOS(STATIC_400(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f400_0_create_Store(EOS(STATIC_400(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f412_0_create_New(EOS(STATIC_412(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f412_0_create_New(EOS(STATIC_412(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f428_0_create_Duplicate(EOS(STATIC_428(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f428_0_create_Duplicate(EOS(STATIC_428(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f443_0_create_InvokeMethod(EOS(STATIC_443(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f443_0_create_InvokeMethod(EOS(STATIC_443(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f458_0__init__Load(EOS(STATIC_458(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f458_0__init__Load(EOS(STATIC_458(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f488_0__init__InvokeMethod(EOS(STATIC_488(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f488_0__init__InvokeMethod(EOS(STATIC_488(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f506_0__init__Return(EOS(STATIC_506(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f506_0__init__Return(EOS(STATIC_506(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f512_0_create_Store(EOS(STATIC_512(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f512_0_create_Store(EOS(STATIC_512(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f526_0_create_ConstantStackPush(EOS(STATIC_526(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) :|: TRUE
f526_0_create_ConstantStackPush(EOS(STATIC_526(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64) -> f550_0_create_Store(EOS(STATIC_550(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64, 0) :|: TRUE
f550_0_create_Store(EOS(STATIC_550(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64, matching1) -> f569_0_create_Load(EOS(STATIC_569(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64, 0) :|: TRUE && matching1 = 0
f569_0_create_Load(EOS(STATIC_569(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64, matching1) -> f1996_0_create_Load(EOS(STATIC_1996(java.lang.Object(ARRAY(i25)), i34)), i24, i24, i64, 0) :|: TRUE && matching1 = 0
f1996_0_create_Load(EOS(STATIC_1996(java.lang.Object(ARRAY(i419)), i420)), i24, i24, i421, i422) -> f3333_0_create_Load(EOS(STATIC_3333(java.lang.Object(ARRAY(i419)), i420)), i24, i24, i421, i422) :|: TRUE
f3333_0_create_Load(EOS(STATIC_3333(java.lang.Object(ARRAY(i691)), i692)), i24, i24, i693, i694) -> f4026_0_create_Load(EOS(STATIC_4026(java.lang.Object(ARRAY(i691)), i692)), i24, i24, i693, i694) :|: TRUE
f4026_0_create_Load(EOS(STATIC_4026(java.lang.Object(ARRAY(i911)), i912)), i24, i24, i913, i914) -> f4263_0_create_Load(EOS(STATIC_4263(java.lang.Object(ARRAY(i911)), i912)), i24, i24, i913, i914) :|: TRUE
f4263_0_create_Load(EOS(STATIC_4263(java.lang.Object(ARRAY(i1173)), i1174)), i24, i24, i1175, i1176) -> f4429_0_create_Load(EOS(STATIC_4429(java.lang.Object(ARRAY(i1173)), i1174)), i24, i24, i1175, i1176) :|: TRUE
f4429_0_create_Load(EOS(STATIC_4429(java.lang.Object(ARRAY(i1345)), i1346)), i24, i24, i1347, i1348) -> f4684_0_create_Load(EOS(STATIC_4684(java.lang.Object(ARRAY(i1345)), i1346)), i24, i24, i1347, i1348) :|: TRUE
f4684_0_create_Load(EOS(STATIC_4684(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613) -> f4686_0_create_Load(EOS(STATIC_4686(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613) :|: TRUE
f4686_0_create_Load(EOS(STATIC_4686(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613) -> f4689_0_create_GE(EOS(STATIC_4689(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613, i1612) :|: TRUE
f4689_0_create_GE(EOS(STATIC_4689(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613, i1612) -> f4694_0_create_GE(EOS(STATIC_4694(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613, i1612) :|: i1613 < i1612
f4694_0_create_GE(EOS(STATIC_4694(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1613, i1612) -> f4700_0_create_Load(EOS(STATIC_4700(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613) :|: i1613 < i1612
f4700_0_create_Load(EOS(STATIC_4700(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613) -> f4706_0_create_Load(EOS(STATIC_4706(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613) :|: TRUE
f4706_0_create_Load(EOS(STATIC_4706(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613) -> f4711_0_create_ConstantStackPush(EOS(STATIC_4711(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i24) :|: TRUE
f4711_0_create_ConstantStackPush(EOS(STATIC_4711(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i24) -> f4716_0_create_IntArithmetic(EOS(STATIC_4716(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i24, 1) :|: TRUE
f4716_0_create_IntArithmetic(EOS(STATIC_4716(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i24, matching1) -> f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i24 - 1) :|: i24 > 0 && matching1 = 1
f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1633) -> f4726_0_create_Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i1610)), i1611)), i1633, i1633) :|: i24 > 1 && i1633 >= 1 && i1612 >= 1 && i1611 > 1 && i1613 < i1612 && i1633 < i24
f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1633) -> f4726_1_create_Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i1610)), i1611)), i24, i24, i1612, i1613, i1633) :|: i24 > 1 && i1633 >= 1 && i1612 >= 1 && i1611 > 1 && i1613 < i1612 && i1633 < i24
f4726_0_create_Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i1610)), i1611)), i1633, i1633) -> f4731_0_create_Load(EOS(STATIC_4731(java.lang.Object(ARRAY(i1610)), i1611)), i1633, i1633) :|: TRUE
f4731_0_create_Load(EOS(STATIC_4731(java.lang.Object(ARRAY(i1610)), i1611)), i1633, i1633) -> f144_0_create_Load(EOS(STATIC_144(java.lang.Object(ARRAY(i1610)), i1611)), i1633, i1633) :|: TRUE
f144_0_create_Load(EOS(STATIC_144(java.lang.Object(o22sub), i10)), i19, i19) -> f148_0_create_ConstantStackPush(EOS(STATIC_148(java.lang.Object(o22sub), i10)), i19, i19, i19) :|: TRUE
f4743_0_create_Return(EOS(STATIC_4743(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4751_0_create_InvokeMethod(EOS(STATIC_4751(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4751_0_create_InvokeMethod(EOS(STATIC_4751(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4756_0_add_New(EOS(STATIC_4756(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4756_0_add_New(EOS(STATIC_4756(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4763_0_add_Duplicate(EOS(STATIC_4763(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4763_0_add_Duplicate(EOS(STATIC_4763(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4770_0_add_InvokeMethod(EOS(STATIC_4770(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4770_0_add_InvokeMethod(EOS(STATIC_4770(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4775_0__init__Load(EOS(STATIC_4775(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4775_0__init__Load(EOS(STATIC_4775(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4782_0__init__InvokeMethod(EOS(STATIC_4782(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4782_0__init__InvokeMethod(EOS(STATIC_4782(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4785_0__init__Return(EOS(STATIC_4785(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4785_0__init__Return(EOS(STATIC_4785(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4790_0_add_Store(EOS(STATIC_4790(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4790_0_add_Store(EOS(STATIC_4790(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4795_0_add_Load(EOS(STATIC_4795(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4795_0_add_Load(EOS(STATIC_4795(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4799_0_add_Load(EOS(STATIC_4799(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4799_0_add_Load(EOS(STATIC_4799(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4804_0_add_FieldAccess(EOS(STATIC_4804(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4804_0_add_FieldAccess(EOS(STATIC_4804(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4810_0_add_FieldAccess(EOS(STATIC_4810(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4810_0_add_FieldAccess(EOS(STATIC_4810(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4814_0_add_Load(EOS(STATIC_4814(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4814_0_add_Load(EOS(STATIC_4814(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4819_0_add_Load(EOS(STATIC_4819(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4819_0_add_Load(EOS(STATIC_4819(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4824_0_add_FieldAccess(EOS(STATIC_4824(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4824_0_add_FieldAccess(EOS(STATIC_4824(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4828_0_add_FieldAccess(EOS(STATIC_4828(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4828_0_add_FieldAccess(EOS(STATIC_4828(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4833_0_add_Load(EOS(STATIC_4833(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4833_0_add_Load(EOS(STATIC_4833(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4839_0_add_Load(EOS(STATIC_4839(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4839_0_add_Load(EOS(STATIC_4839(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4843_0_add_FieldAccess(EOS(STATIC_4843(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4843_0_add_FieldAccess(EOS(STATIC_4843(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4850_0_add_Load(EOS(STATIC_4850(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4850_0_add_Load(EOS(STATIC_4850(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4856_0_add_Load(EOS(STATIC_4856(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4856_0_add_Load(EOS(STATIC_4856(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4863_0_add_FieldAccess(EOS(STATIC_4863(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4863_0_add_FieldAccess(EOS(STATIC_4863(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4868_0_add_Return(EOS(STATIC_4868(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4868_0_add_Return(EOS(STATIC_4868(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4874_0_create_Inc(EOS(STATIC_4874(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4874_0_create_Inc(EOS(STATIC_4874(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) -> f4879_0_create_JMP(EOS(STATIC_4879(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613 + 1) :|: TRUE
f4879_0_create_JMP(EOS(STATIC_4879(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1796) -> f4885_0_create_Load(EOS(STATIC_4885(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1796) :|: TRUE
f4885_0_create_Load(EOS(STATIC_4885(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1796) -> f4684_0_create_Load(EOS(STATIC_4684(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1796) :|: TRUE
f4849_0_create_Return(EOS(STATIC_4849(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4855_0_create_InvokeMethod(EOS(STATIC_4855(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4855_0_create_InvokeMethod(EOS(STATIC_4855(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4862_0_add_New(EOS(STATIC_4862(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4862_0_add_New(EOS(STATIC_4862(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4873_0_add_Duplicate(EOS(STATIC_4873(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4873_0_add_Duplicate(EOS(STATIC_4873(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4878_0_add_InvokeMethod(EOS(STATIC_4878(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4878_0_add_InvokeMethod(EOS(STATIC_4878(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4884_0__init__Load(EOS(STATIC_4884(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4884_0__init__Load(EOS(STATIC_4884(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4894_0__init__InvokeMethod(EOS(STATIC_4894(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4894_0__init__InvokeMethod(EOS(STATIC_4894(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4898_0__init__Return(EOS(STATIC_4898(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4898_0__init__Return(EOS(STATIC_4898(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4903_0_add_Store(EOS(STATIC_4903(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4903_0_add_Store(EOS(STATIC_4903(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4908_0_add_Load(EOS(STATIC_4908(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4908_0_add_Load(EOS(STATIC_4908(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4913_0_add_Load(EOS(STATIC_4913(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4913_0_add_Load(EOS(STATIC_4913(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4917_0_add_FieldAccess(EOS(STATIC_4917(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4917_0_add_FieldAccess(EOS(STATIC_4917(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4921_0_add_FieldAccess(EOS(STATIC_4921(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4921_0_add_FieldAccess(EOS(STATIC_4921(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4926_0_add_Load(EOS(STATIC_4926(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4926_0_add_Load(EOS(STATIC_4926(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4931_0_add_Load(EOS(STATIC_4931(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4931_0_add_Load(EOS(STATIC_4931(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4935_0_add_FieldAccess(EOS(STATIC_4935(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4935_0_add_FieldAccess(EOS(STATIC_4935(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4940_0_add_FieldAccess(EOS(STATIC_4940(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4940_0_add_FieldAccess(EOS(STATIC_4940(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4944_0_add_Load(EOS(STATIC_4944(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4944_0_add_Load(EOS(STATIC_4944(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4947_0_add_Load(EOS(STATIC_4947(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4947_0_add_Load(EOS(STATIC_4947(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4956_0_add_FieldAccess(EOS(STATIC_4956(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4956_0_add_FieldAccess(EOS(STATIC_4956(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4962_0_add_Load(EOS(STATIC_4962(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4962_0_add_Load(EOS(STATIC_4962(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4966_0_add_Load(EOS(STATIC_4966(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4966_0_add_Load(EOS(STATIC_4966(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4970_0_add_FieldAccess(EOS(STATIC_4970(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4970_0_add_FieldAccess(EOS(STATIC_4970(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4974_0_add_Return(EOS(STATIC_4974(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4974_0_add_Return(EOS(STATIC_4974(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4976_0_create_Inc(EOS(STATIC_4976(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
f4976_0_create_Inc(EOS(STATIC_4976(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) -> f4979_0_create_JMP(EOS(STATIC_4979(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613 + 1) :|: TRUE
f4979_0_create_JMP(EOS(STATIC_4979(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1921) -> f4982_0_create_Load(EOS(STATIC_4982(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1921) :|: TRUE
f4982_0_create_Load(EOS(STATIC_4982(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1921) -> f4684_0_create_Load(EOS(STATIC_4684(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1921) :|: TRUE
f4726_1_create_Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i1652)), i1611)), i24, i24, i1612, i1613, i1633) -> f4743_0_create_Return(EOS(STATIC_4743(java.lang.Object(ARRAY(i1652)), i1648)), i24, i24, i1612, i1613) :|: TRUE
f4726_1_create_Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i1768)), i1611)), i24, i24, i1612, i1613, i1633) -> f4849_0_create_Return(EOS(STATIC_4849(java.lang.Object(ARRAY(i1768)), i1764)), i24, i24, i1612, i1613) :|: TRUE
Combined rules. Obtained 2 IRulesP rules:
f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610:0)), i1611:0)), i24:0, i24:0, i1612:0, i1613:0, i1633:0) -> f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610:0)), i1611:0 + 1)), i1633:0, i1633:0, i64:0, 0, i1633:0 - 1) :|: i1633:0 > 1 && i64:0 > 0 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i24:0 > i1633:0 && i1613:0 < i1612:0
f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610:0)), i1611:0)), i24:0, i24:0, i1612:0, i1613:0, i1633:0) -> f4722_0_create_InvokeMethod(EOS(STATIC_4722(java.lang.Object(ARRAY(i1610:0)), i1648:0)), i24:0, i24:0, i1612:0, i1613:0 + 1, i24:0 - 1) :|: i24:0 > 1 && i1613:0 + 1 < i1612:0 && i1633:0 > 0 && i1612:0 > 0 && i24:0 > i1633:0 && i1611:0 > 1
Filtered duplicate arguments:
   f4722_0_create_InvokeMethod(x1, x2, x3, x4, x5, x6) -> f4722_0_create_InvokeMethod(x1, x3, x4, x5, x6)
Finished conversion. Obtained 2 rules.P rules:
f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i1633:0, i64:0, 0, i1633:0 - 1, i1610:0, i1611:0 + 1) :|: i64:0 > 0 && i1633:0 > 1 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i1613:0 < i1612:0 && i24:0 > i1633:0
f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0 + 1, i24:0 - 1, i1610:0, i1648:0) :|: i1613:0 + 1 < i1612:0 && i24:0 > 1 && i1633:0 > 0 && i1612:0 > 0 && i1611:0 > 1 && i24:0 > i1633:0

----------------------------------------

(20)
Obligation:
Rules:
f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i1633:0, i64:0, 0, i1633:0 - 1, i1610:0, i1611:0 + 1) :|: i64:0 > 0 && i1633:0 > 1 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i1613:0 < i1612:0 && i24:0 > i1633:0
f4722_0_create_InvokeMethod(x, x1, x2, x3, x4, x5) -> f4722_0_create_InvokeMethod(x, x1, x2 + 1, x - 1, x4, x6) :|: x2 + 1 < x1 && x > 1 && x3 > 0 && x1 > 0 && x5 > 1 && x > x3

----------------------------------------

(21) IRSFormatTransformerProof (EQUIVALENT)
Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
----------------------------------------

(22)
Obligation:
Rules:
f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i1633:0, i64:0, 0, arith, i1610:0, arith1) :|: i64:0 > 0 && i1633:0 > 1 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i1613:0 < i1612:0 && i24:0 > i1633:0 && arith = i1633:0 - 1 && arith1 = i1611:0 + 1
f4722_0_create_InvokeMethod(x7, x8, x9, x10, x11, x12) -> f4722_0_create_InvokeMethod(x7, x8, x13, x14, x11, x15) :|: x9 + 1 < x8 && x7 > 1 && x10 > 0 && x8 > 0 && x12 > 1 && x7 > x10 && x13 = x9 + 1 && x14 = x7 - 1

----------------------------------------

(23) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i1633:0, i64:0, 0, arith, i1610:0, arith1) :|: i64:0 > 0 && i1633:0 > 1 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i1613:0 < i1612:0 && i24:0 > i1633:0 && arith = i1633:0 - 1 && arith1 = i1611:0 + 1
(2) f4722_0_create_InvokeMethod(x7, x8, x9, x10, x11, x12) -> f4722_0_create_InvokeMethod(x7, x8, x13, x14, x11, x15) :|: x9 + 1 < x8 && x7 > 1 && x10 > 0 && x8 > 0 && x12 > 1 && x7 > x10 && x13 = x9 + 1 && x14 = x7 - 1

Arcs:
(1) -> (1), (2)
(2) -> (1), (2)

This digraph is fully evaluated!
----------------------------------------

(24)
Obligation:

Termination digraph:
Nodes:
(1) f4722_0_create_InvokeMethod(i24:0, i1612:0, i1613:0, i1633:0, i1610:0, i1611:0) -> f4722_0_create_InvokeMethod(i1633:0, i64:0, 0, arith, i1610:0, arith1) :|: i64:0 > 0 && i1633:0 > 1 && i1611:0 > 1 && i1610:0 > -1 && i1611:0 < i1610:0 && i24:0 > 1 && i1612:0 > 0 && i1613:0 < i1612:0 && i24:0 > i1633:0 && arith = i1633:0 - 1 && arith1 = i1611:0 + 1
(2) f4722_0_create_InvokeMethod(x7, x8, x9, x10, x11, x12) -> f4722_0_create_InvokeMethod(x7, x8, x13, x14, x11, x15) :|: x9 + 1 < x8 && x7 > 1 && x10 > 0 && x8 > 0 && x12 > 1 && x7 > x10 && x13 = x9 + 1 && x14 = x7 - 1

Arcs:
(1) -> (1), (2)
(2) -> (1), (2)

This digraph is fully evaluated!

----------------------------------------

(25) IntTRSCompressionProof (EQUIVALENT)
Compressed rules.
----------------------------------------

(26)
Obligation:
Rules:
f4722_0_create_InvokeMethod(i24:0:0, i1612:0:0, i1613:0:0, i1633:0:0, i1610:0:0, i1611:0:0) -> f4722_0_create_InvokeMethod(i1633:0:0, i64:0:0, 0, i1633:0:0 - 1, i1610:0:0, i1611:0:0 + 1) :|: i1613:0:0 < i1612:0:0 && i24:0:0 > i1633:0:0 && i1612:0:0 > 0 && i24:0:0 > 1 && i1611:0:0 < i1610:0:0 && i1610:0:0 > -1 && i1611:0:0 > 1 && i1633:0:0 > 1 && i64:0:0 > 0
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0 + 1, x7:0 - 1, x11:0, x15:0) :|: x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0

----------------------------------------

(27) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f4722_0_create_InvokeMethod(INTEGER, INTEGER, VARIABLE, INTEGER, VARIABLE, VARIABLE)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(28)
Obligation:
Rules:
f4722_0_create_InvokeMethod(i24:0:0, i1612:0:0, i1613:0:0, i1633:0:0, i1610:0:0, i1611:0:0) -> f4722_0_create_InvokeMethod(i1633:0:0, i64:0:0, c, c1, i1610:0:0, c2) :|: c2 = i1611:0:0 + 1 && (c1 = i1633:0:0 - 1 && c = 0) && (i1613:0:0 < i1612:0:0 && i24:0:0 > i1633:0:0 && i1612:0:0 > 0 && i24:0:0 > 1 && i1611:0:0 < i1610:0:0 && i1610:0:0 > -1 && i1611:0:0 > 1 && i1633:0:0 > 1 && i64:0:0 > 0)
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, c3, c4, x11:0, x15:0) :|: c4 = x7:0 - 1 && c3 = x9:0 + 1 && (x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0)

----------------------------------------

(29) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f4722_0_create_InvokeMethod(x, x1, x2, x3, x4, x5)] = x

The following rules are decreasing:
f4722_0_create_InvokeMethod(i24:0:0, i1612:0:0, i1613:0:0, i1633:0:0, i1610:0:0, i1611:0:0) -> f4722_0_create_InvokeMethod(i1633:0:0, i64:0:0, c, c1, i1610:0:0, c2) :|: c2 = i1611:0:0 + 1 && (c1 = i1633:0:0 - 1 && c = 0) && (i1613:0:0 < i1612:0:0 && i24:0:0 > i1633:0:0 && i1612:0:0 > 0 && i24:0:0 > 1 && i1611:0:0 < i1610:0:0 && i1610:0:0 > -1 && i1611:0:0 > 1 && i1633:0:0 > 1 && i64:0:0 > 0)
The following rules are bounded:
f4722_0_create_InvokeMethod(i24:0:0, i1612:0:0, i1613:0:0, i1633:0:0, i1610:0:0, i1611:0:0) -> f4722_0_create_InvokeMethod(i1633:0:0, i64:0:0, c, c1, i1610:0:0, c2) :|: c2 = i1611:0:0 + 1 && (c1 = i1633:0:0 - 1 && c = 0) && (i1613:0:0 < i1612:0:0 && i24:0:0 > i1633:0:0 && i1612:0:0 > 0 && i24:0:0 > 1 && i1611:0:0 < i1610:0:0 && i1610:0:0 > -1 && i1611:0:0 > 1 && i1633:0:0 > 1 && i64:0:0 > 0)
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, c3, c4, x11:0, x15:0) :|: c4 = x7:0 - 1 && c3 = x9:0 + 1 && (x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0)

----------------------------------------

(30)
Obligation:
Rules:
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, c3, c4, x11:0, x15:0) :|: c4 = x7:0 - 1 && c3 = x9:0 + 1 && (x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0)

----------------------------------------

(31) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f4722_0_create_InvokeMethod(x, x1, x2, x3, x4, x5)] = x1 - x2

The following rules are decreasing:
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, c3, c4, x11:0, x15:0) :|: c4 = x7:0 - 1 && c3 = x9:0 + 1 && (x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0)
The following rules are bounded:
f4722_0_create_InvokeMethod(x7:0, x8:0, x9:0, x10:0, x11:0, x12:0) -> f4722_0_create_InvokeMethod(x7:0, x8:0, c3, c4, x11:0, x15:0) :|: c4 = x7:0 - 1 && c3 = x9:0 + 1 && (x12:0 > 1 && x7:0 > x10:0 && x8:0 > 0 && x10:0 > 0 && x7:0 > 1 && x9:0 + 1 < x8:0)

----------------------------------------

(32)
YES