/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.jar /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/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, 97 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 689 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 155 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToQDPProof [SOUND, 262 ms] (14) QDP (15) QDPSizeChangeProof [EQUIVALENT, 0 ms] (16) YES (17) JBCTerminationSCC (18) SCCToQDPProof [SOUND, 540 ms] (19) QDP (20) DependencyGraphProof [EQUIVALENT, 0 ms] (21) TRUE (22) JBCTerminationSCC (23) SCCToIRSProof [SOUND, 2 ms] (24) IRSwT (25) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (26) IRSwT (27) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms] (28) IRSwT (29) IntTRSCompressionProof [EQUIVALENT, 0 ms] (30) IRSwT (31) TempFilterProof [SOUND, 39 ms] (32) IntTRS (33) RankingReductionPairProof [EQUIVALENT, 0 ms] (34) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: package Nats; public class DivMinus { public static Nats minus(final Nats x, final Nats y) { if (y.isZero()) { return x.copy(); } if (x.isZero()) { return Nats.zero(); } return minus(x.pred, y.pred); } public static Nats div(final Nats x, final Nats y) { if (y.isZero()) { return Nats.zero(); } if (x.isZero()) { return Nats.zero(); } return Nats.succ(div(minus(x.pred, y.pred), y)); } public static void main(final String[] args) { final Nats x = new Nats(args[0].length()); final Nats y = new Nats(args[1].length()); final Nats z = div(x, y); // System.out.println(x + " / " + y + " = " + z); } } package Nats; public class Nats { Nats pred; public Nats() { } public Nats(final int n) { if (n <= 0) { this.pred = null; } else { this.pred = new Nats(n - 1); } } public int toInt() { if (this.pred == null) { return 0; } return this.pred.toInt() + 1; } @Override public String toString() { return (String.valueOf(toInt())); } public boolean isZero() { return (this.pred == null); } public static Nats zero() { return new Nats(); } public static Nats succ(final Nats x) { final Nats y = new Nats(); y.pred = x; return y; } /** * @return */ public Nats copy() { if (this.pred == null) { return new Nats(); } final Nats predCopy = this.pred.copy(); return succ(predCopy); } } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: package Nats; public class DivMinus { public static Nats minus(final Nats x, final Nats y) { if (y.isZero()) { return x.copy(); } if (x.isZero()) { return Nats.zero(); } return minus(x.pred, y.pred); } public static Nats div(final Nats x, final Nats y) { if (y.isZero()) { return Nats.zero(); } if (x.isZero()) { return Nats.zero(); } return Nats.succ(div(minus(x.pred, y.pred), y)); } public static void main(final String[] args) { final Nats x = new Nats(args[0].length()); final Nats y = new Nats(args[1].length()); final Nats z = div(x, y); // System.out.println(x + " / " + y + " = " + z); } } package Nats; public class Nats { Nats pred; public Nats() { } public Nats(final int n) { if (n <= 0) { this.pred = null; } else { this.pred = new Nats(n - 1); } } public int toInt() { if (this.pred == null) { return 0; } return this.pred.toInt() + 1; } @Override public String toString() { return (String.valueOf(toInt())); } public boolean isZero() { return (this.pred == null); } public static Nats zero() { return new Nats(); } public static Nats succ(final Nats x) { final Nats y = new Nats(); y.pred = x; return y; } /** * @return */ public Nats copy() { if (this.pred == null) { return new Nats(); } final Nats predCopy = this.pred.copy(); return succ(predCopy); } } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: Nats.DivMinus.main([Ljava/lang/String;)V: Graph of 149 nodes with 0 SCCs. Nats.Nats.(I)V: Graph of 28 nodes with 0 SCCs. Nats.DivMinus.div(LNats/Nats;LNats/Nats;)LNats/Nats;: Graph of 129 nodes with 0 SCCs. Nats.DivMinus.minus(LNats/Nats;LNats/Nats;)LNats/Nats;: Graph of 77 nodes with 0 SCCs. Nats.Nats.copy()LNats/Nats;: Graph of 58 nodes with 0 SCCs. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 4 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Nats.Nats.copy()LNats/Nats; SCC calls the following helper methods: Nats.Nats.copy()LNats/Nats; Performed SCC analyses: *Used field analysis yielded the following read fields: *Nats.Nats: [pred] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 10 rules for P and 56 rules for R.P rules: f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) :|: TRUE f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284)), o284) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) :|: TRUE f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) :|: TRUE f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) -> f1786_1_copy_InvokeMethod(f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub))) :|: TRUE f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub)) -> f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) :|: TRUE f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o291sub)) :|: TRUE f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) -> f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o252sub), java.lang.Object(o252sub)) :|: TRUE R rules: f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) -> f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o252sub), java.lang.Object(o252sub)) :|: TRUE f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) :|: TRUE f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284)), o284) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1764_0_copy_New(EOS(STATIC_1764)) :|: TRUE f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1764_0_copy_New(EOS(STATIC_1764)) -> f1773_0_copy_Duplicate(EOS(STATIC_1773)) :|: TRUE f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) :|: TRUE f1773_0_copy_Duplicate(EOS(STATIC_1773)) -> f1779_0_copy_InvokeMethod(EOS(STATIC_1779)) :|: TRUE f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) -> f1786_1_copy_InvokeMethod(f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub))) :|: TRUE f1779_0_copy_InvokeMethod(EOS(STATIC_1779)) -> f1788_0__init__Load(EOS(STATIC_1788)) :|: TRUE f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub)) -> f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) :|: TRUE f1788_0__init__Load(EOS(STATIC_1788)) -> f1798_0__init__InvokeMethod(EOS(STATIC_1798)) :|: TRUE f1798_0__init__InvokeMethod(EOS(STATIC_1798)) -> f1801_0__init__Return(EOS(STATIC_1801)) :|: TRUE f1801_0__init__Return(EOS(STATIC_1801)) -> f1808_0_copy_Return(EOS(STATIC_1808)) :|: TRUE f3177_0_copy_Return(EOS(STATIC_3177)) -> f3181_0_copy_Store(EOS(STATIC_3181)) :|: TRUE f3181_0_copy_Store(EOS(STATIC_3181)) -> f3197_0_copy_Load(EOS(STATIC_3197)) :|: TRUE f3197_0_copy_Load(EOS(STATIC_3197)) -> f3220_0_copy_InvokeMethod(EOS(STATIC_3220)) :|: TRUE f3220_0_copy_InvokeMethod(EOS(STATIC_3220)) -> f3230_0_succ_New(EOS(STATIC_3230)) :|: TRUE f3230_0_succ_New(EOS(STATIC_3230)) -> f3275_0_succ_Duplicate(EOS(STATIC_3275)) :|: TRUE f3275_0_succ_Duplicate(EOS(STATIC_3275)) -> f3314_0_succ_InvokeMethod(EOS(STATIC_3314)) :|: TRUE f3314_0_succ_InvokeMethod(EOS(STATIC_3314)) -> f3322_0__init__Load(EOS(STATIC_3322)) :|: TRUE f3322_0__init__Load(EOS(STATIC_3322)) -> f3339_0__init__InvokeMethod(EOS(STATIC_3339)) :|: TRUE f3339_0__init__InvokeMethod(EOS(STATIC_3339)) -> f3543_0__init__Return(EOS(STATIC_3543)) :|: TRUE f3543_0__init__Return(EOS(STATIC_3543)) -> f3573_0_succ_Store(EOS(STATIC_3573)) :|: TRUE f3573_0_succ_Store(EOS(STATIC_3573)) -> f3577_0_succ_Load(EOS(STATIC_3577)) :|: TRUE f3577_0_succ_Load(EOS(STATIC_3577)) -> f3578_0_succ_Load(EOS(STATIC_3578)) :|: TRUE f3578_0_succ_Load(EOS(STATIC_3578)) -> f3582_0_succ_FieldAccess(EOS(STATIC_3582)) :|: TRUE f3582_0_succ_FieldAccess(EOS(STATIC_3582)) -> f3587_0_succ_Load(EOS(STATIC_3587)) :|: TRUE f3587_0_succ_Load(EOS(STATIC_3587)) -> f3593_0_succ_Return(EOS(STATIC_3593)) :|: TRUE f3593_0_succ_Return(EOS(STATIC_3593)) -> f3594_0_copy_Return(EOS(STATIC_3594)) :|: TRUE f3611_0_copy_Return(EOS(STATIC_3611)) -> f3865_0_copy_Return(EOS(STATIC_3865)) :|: TRUE f3865_0_copy_Return(EOS(STATIC_3865)) -> f4259_0_copy_Return(EOS(STATIC_4259)) :|: TRUE f4259_0_copy_Return(EOS(STATIC_4259)) -> f4274_0_copy_Store(EOS(STATIC_4274)) :|: TRUE f4274_0_copy_Store(EOS(STATIC_4274)) -> f4281_0_copy_Load(EOS(STATIC_4281)) :|: TRUE f4281_0_copy_Load(EOS(STATIC_4281)) -> f4302_0_copy_InvokeMethod(EOS(STATIC_4302)) :|: TRUE f4302_0_copy_InvokeMethod(EOS(STATIC_4302)) -> f4342_0_succ_New(EOS(STATIC_4342)) :|: TRUE f4342_0_succ_New(EOS(STATIC_4342)) -> f4409_0_succ_Duplicate(EOS(STATIC_4409)) :|: TRUE f4409_0_succ_Duplicate(EOS(STATIC_4409)) -> f4415_0_succ_InvokeMethod(EOS(STATIC_4415)) :|: TRUE f4415_0_succ_InvokeMethod(EOS(STATIC_4415)) -> f4418_0__init__Load(EOS(STATIC_4418)) :|: TRUE f4418_0__init__Load(EOS(STATIC_4418)) -> f4423_0__init__InvokeMethod(EOS(STATIC_4423)) :|: TRUE f4423_0__init__InvokeMethod(EOS(STATIC_4423)) -> f4428_0__init__Return(EOS(STATIC_4428)) :|: TRUE f4428_0__init__Return(EOS(STATIC_4428)) -> f4429_0_succ_Store(EOS(STATIC_4429)) :|: TRUE f4429_0_succ_Store(EOS(STATIC_4429)) -> f4435_0_succ_Load(EOS(STATIC_4435)) :|: TRUE f4435_0_succ_Load(EOS(STATIC_4435)) -> f4441_0_succ_Load(EOS(STATIC_4441)) :|: TRUE f4441_0_succ_Load(EOS(STATIC_4441)) -> f4444_0_succ_FieldAccess(EOS(STATIC_4444)) :|: TRUE f4444_0_succ_FieldAccess(EOS(STATIC_4444)) -> f4452_0_succ_Load(EOS(STATIC_4452)) :|: TRUE f4452_0_succ_Load(EOS(STATIC_4452)) -> f4457_0_succ_Return(EOS(STATIC_4457)) :|: TRUE f4457_0_succ_Return(EOS(STATIC_4457)) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE f4492_0_copy_Return(EOS(STATIC_4492)) -> f4259_0_copy_Return(EOS(STATIC_4259)) :|: TRUE f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o291sub)) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808))) -> f3177_0_copy_Return(EOS(STATIC_3177)) :|: TRUE f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594))) -> f3611_0_copy_Return(EOS(STATIC_3611)) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460))) -> f4492_0_copy_Return(EOS(STATIC_4492)) :|: TRUE Combined rules. Obtained 1 conditional rules for P and 5 conditional rules for R.P rules: f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub:0)))) -> f1786_1_copy_InvokeMethod(f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o291sub:0), java.lang.Object(o291sub:0))) :|: TRUE R rules: f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594))) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1808_0_copy_Return(EOS(STATIC_1808)) :|: TRUE f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub:0)))) -> f1786_1_copy_InvokeMethod(f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o291sub:0), java.lang.Object(o291sub:0))) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808))) -> f3594_0_copy_Return(EOS(STATIC_3594)) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460))) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE Filtered ground terms: f1728_0_copy_FieldAccess(x1, x2, x3) -> f1728_0_copy_FieldAccess(x2, x3) Nats.Nats(x1, x2) -> Nats.Nats(x2) f4460_0_copy_Return(x1) -> f4460_0_copy_Return f1808_0_copy_Return(x1) -> f1808_0_copy_Return f3594_0_copy_Return(x1) -> f3594_0_copy_Return Filtered duplicate args: f1728_0_copy_FieldAccess(x1, x2) -> f1728_0_copy_FieldAccess(x2) Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: F1728_0_COPY_FIELDACCESS(java.lang.Object(Nats.Nats(java.lang.Object(o291sub:0:0)))) -> F1728_0_COPY_FIELDACCESS(java.lang.Object(o291sub:0:0)) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F1728_0_COPY_FIELDACCESS(java.lang.Object(Nats.Nats(java.lang.Object(o291sub:0:0)))) -> F1728_0_COPY_FIELDACCESS(java.lang.Object(o291sub:0:0)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) 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: *F1728_0_COPY_FIELDACCESS(java.lang.Object(Nats.Nats(java.lang.Object(o291sub:0:0)))) -> F1728_0_COPY_FIELDACCESS(java.lang.Object(o291sub:0:0)) The graph contains the following edges 1 > 1 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Nats.DivMinus.minus(LNats/Nats;LNats/Nats;)LNats/Nats; SCC calls the following helper methods: Nats.DivMinus.minus(LNats/Nats;LNats/Nats;)LNats/Nats;, Nats.Nats.copy()LNats/Nats; Performed SCC analyses: *Used field analysis yielded the following read fields: *Nats.Nats: [pred] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (13) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 27 rules for P and 132 rules for R.P rules: f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) :|: TRUE f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), o266) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) :|: TRUE f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) :|: TRUE f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), o277) :|: TRUE f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) :|: TRUE f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) -> f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1790_1_minus_InvokeMethod(f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE R rules: f1715_0_copy_Load(EOS(STATIC_1715), java.lang.Object(o252sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) :|: TRUE f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o291sub)) :|: TRUE f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) :|: TRUE f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), o266) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1686_0_isZero_NONNULL(EOS(STATIC_1686), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1686_0_isZero_NONNULL(EOS(STATIC_1686), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1688_0_isZero_ConstantStackPush(EOS(STATIC_1688), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1688_0_isZero_ConstantStackPush(EOS(STATIC_1688), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1692_0_isZero_JMP(EOS(STATIC_1692), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1692_0_isZero_JMP(EOS(STATIC_1692), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1697_0_isZero_Return(EOS(STATIC_1697), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1697_0_isZero_Return(EOS(STATIC_1697), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1699_0_minus_EQ(EOS(STATIC_1699), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1699_0_minus_EQ(EOS(STATIC_1699), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1704_0_minus_Load(EOS(STATIC_1704), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) :|: 1 > 0 && matching1 = 1 f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1704_0_minus_Load(EOS(STATIC_1704), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) -> f1708_0_minus_InvokeMethod(EOS(STATIC_1708), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) :|: TRUE f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1708_0_minus_InvokeMethod(EOS(STATIC_1708), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) -> f1709_1_minus_InvokeMethod(f1709_0_copy_Load(EOS(STATIC_1709), java.lang.Object(o252sub)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_0_copy_Load(EOS(STATIC_1709), java.lang.Object(o252sub)) -> f1715_0_copy_Load(EOS(STATIC_1715), java.lang.Object(o252sub)) :|: TRUE f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) :|: TRUE f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), o277) :|: TRUE f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) -> f1722_0_isZero_NONNULL(EOS(STATIC_1722), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) :|: TRUE f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1722_0_isZero_NONNULL(EOS(STATIC_1722), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) -> f1727_0_isZero_ConstantStackPush(EOS(STATIC_1727), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1727_0_isZero_ConstantStackPush(EOS(STATIC_1727), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1734_0_isZero_JMP(EOS(STATIC_1734), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1734_0_isZero_JMP(EOS(STATIC_1734), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1742_0_isZero_Return(EOS(STATIC_1742), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE && matching1 = 1 f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1742_0_isZero_Return(EOS(STATIC_1742), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1752_0_minus_EQ(EOS(STATIC_1752), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE && matching1 = 1 f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) :|: TRUE f1752_0_minus_EQ(EOS(STATIC_1752), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1760_0_minus_InvokeMethod(EOS(STATIC_1760), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: 1 > 0 && matching1 = 1 f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) -> f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1760_0_minus_InvokeMethod(EOS(STATIC_1760), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1769_0_zero_New(EOS(STATIC_1769), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1769_0_zero_New(EOS(STATIC_1769), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1784_0_zero_Duplicate(EOS(STATIC_1784), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1790_1_minus_InvokeMethod(f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1784_0_zero_Duplicate(EOS(STATIC_1784), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1792_0_zero_InvokeMethod(EOS(STATIC_1792), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1792_0_zero_InvokeMethod(EOS(STATIC_1792), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1796_0__init__Load(EOS(STATIC_1796), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1796_0__init__Load(EOS(STATIC_1796), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1803_0__init__InvokeMethod(EOS(STATIC_1803), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1803_0__init__InvokeMethod(EOS(STATIC_1803), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1821_0__init__Return(EOS(STATIC_1821), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1821_0__init__Return(EOS(STATIC_1821), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f3165_0_zero_Return(EOS(STATIC_3165), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f3165_0_zero_Return(EOS(STATIC_3165), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f3176_0_copy_Return(EOS(STATIC_3176), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3200_0_minus_Return(EOS(STATIC_3200), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))))) -> f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))))) :|: TRUE f3228_0_minus_Return(EOS(STATIC_3228), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3675_0_minus_Return(EOS(STATIC_3675), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3280_0_minus_Return(EOS(STATIC_3280), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))))) -> f3321_0_minus_Return(EOS(STATIC_3321), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))))) :|: TRUE f3321_0_minus_Return(EOS(STATIC_3321), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o787))))))) -> f3691_0_minus_Return(EOS(STATIC_3691), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o787))))))) :|: TRUE f3610_0_copy_Return(EOS(STATIC_3610), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3863_0_copy_Return(EOS(STATIC_3863), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3675_0_minus_Return(EOS(STATIC_3675), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3691_0_minus_Return(EOS(STATIC_3691), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1029))))))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1029))))))) :|: TRUE f3863_0_copy_Return(EOS(STATIC_3863), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3992_0_minus_Return(EOS(STATIC_3992), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) :|: TRUE f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1370))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1370))))))) :|: TRUE f4083_0_minus_Return(EOS(STATIC_4083), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))))) :|: TRUE f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4340_0_minus_Return(EOS(STATIC_4340), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f4488_0_copy_Return(EOS(STATIC_4488), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) -> f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o252sub), java.lang.Object(o252sub)) :|: TRUE f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) :|: TRUE f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284)), o284) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1764_0_copy_New(EOS(STATIC_1764)) :|: TRUE f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1764_0_copy_New(EOS(STATIC_1764)) -> f1773_0_copy_Duplicate(EOS(STATIC_1773)) :|: TRUE f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) :|: TRUE f1773_0_copy_Duplicate(EOS(STATIC_1773)) -> f1779_0_copy_InvokeMethod(EOS(STATIC_1779)) :|: TRUE f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) -> f1786_1_copy_InvokeMethod(f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub))) :|: TRUE f1779_0_copy_InvokeMethod(EOS(STATIC_1779)) -> f1788_0__init__Load(EOS(STATIC_1788)) :|: TRUE f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub)) -> f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) :|: TRUE f1788_0__init__Load(EOS(STATIC_1788)) -> f1798_0__init__InvokeMethod(EOS(STATIC_1798)) :|: TRUE f1798_0__init__InvokeMethod(EOS(STATIC_1798)) -> f1801_0__init__Return(EOS(STATIC_1801)) :|: TRUE f1801_0__init__Return(EOS(STATIC_1801)) -> f1808_0_copy_Return(EOS(STATIC_1808)) :|: TRUE f3177_0_copy_Return(EOS(STATIC_3177)) -> f3181_0_copy_Store(EOS(STATIC_3181)) :|: TRUE f3181_0_copy_Store(EOS(STATIC_3181)) -> f3197_0_copy_Load(EOS(STATIC_3197)) :|: TRUE f3197_0_copy_Load(EOS(STATIC_3197)) -> f3220_0_copy_InvokeMethod(EOS(STATIC_3220)) :|: TRUE f3220_0_copy_InvokeMethod(EOS(STATIC_3220)) -> f3230_0_succ_New(EOS(STATIC_3230)) :|: TRUE f3230_0_succ_New(EOS(STATIC_3230)) -> f3275_0_succ_Duplicate(EOS(STATIC_3275)) :|: TRUE f3275_0_succ_Duplicate(EOS(STATIC_3275)) -> f3314_0_succ_InvokeMethod(EOS(STATIC_3314)) :|: TRUE f3314_0_succ_InvokeMethod(EOS(STATIC_3314)) -> f3322_0__init__Load(EOS(STATIC_3322)) :|: TRUE f3322_0__init__Load(EOS(STATIC_3322)) -> f3339_0__init__InvokeMethod(EOS(STATIC_3339)) :|: TRUE f3339_0__init__InvokeMethod(EOS(STATIC_3339)) -> f3543_0__init__Return(EOS(STATIC_3543)) :|: TRUE f3543_0__init__Return(EOS(STATIC_3543)) -> f3573_0_succ_Store(EOS(STATIC_3573)) :|: TRUE f3573_0_succ_Store(EOS(STATIC_3573)) -> f3577_0_succ_Load(EOS(STATIC_3577)) :|: TRUE f3577_0_succ_Load(EOS(STATIC_3577)) -> f3578_0_succ_Load(EOS(STATIC_3578)) :|: TRUE f3578_0_succ_Load(EOS(STATIC_3578)) -> f3582_0_succ_FieldAccess(EOS(STATIC_3582)) :|: TRUE f3582_0_succ_FieldAccess(EOS(STATIC_3582)) -> f3587_0_succ_Load(EOS(STATIC_3587)) :|: TRUE f3587_0_succ_Load(EOS(STATIC_3587)) -> f3593_0_succ_Return(EOS(STATIC_3593)) :|: TRUE f3593_0_succ_Return(EOS(STATIC_3593)) -> f3594_0_copy_Return(EOS(STATIC_3594)) :|: TRUE f3611_0_copy_Return(EOS(STATIC_3611)) -> f3865_0_copy_Return(EOS(STATIC_3865)) :|: TRUE f3865_0_copy_Return(EOS(STATIC_3865)) -> f4259_0_copy_Return(EOS(STATIC_4259)) :|: TRUE f4259_0_copy_Return(EOS(STATIC_4259)) -> f4274_0_copy_Store(EOS(STATIC_4274)) :|: TRUE f4274_0_copy_Store(EOS(STATIC_4274)) -> f4281_0_copy_Load(EOS(STATIC_4281)) :|: TRUE f4281_0_copy_Load(EOS(STATIC_4281)) -> f4302_0_copy_InvokeMethod(EOS(STATIC_4302)) :|: TRUE f4302_0_copy_InvokeMethod(EOS(STATIC_4302)) -> f4342_0_succ_New(EOS(STATIC_4342)) :|: TRUE f4342_0_succ_New(EOS(STATIC_4342)) -> f4409_0_succ_Duplicate(EOS(STATIC_4409)) :|: TRUE f4409_0_succ_Duplicate(EOS(STATIC_4409)) -> f4415_0_succ_InvokeMethod(EOS(STATIC_4415)) :|: TRUE f4415_0_succ_InvokeMethod(EOS(STATIC_4415)) -> f4418_0__init__Load(EOS(STATIC_4418)) :|: TRUE f4418_0__init__Load(EOS(STATIC_4418)) -> f4423_0__init__InvokeMethod(EOS(STATIC_4423)) :|: TRUE f4423_0__init__InvokeMethod(EOS(STATIC_4423)) -> f4428_0__init__Return(EOS(STATIC_4428)) :|: TRUE f4428_0__init__Return(EOS(STATIC_4428)) -> f4429_0_succ_Store(EOS(STATIC_4429)) :|: TRUE f4429_0_succ_Store(EOS(STATIC_4429)) -> f4435_0_succ_Load(EOS(STATIC_4435)) :|: TRUE f4435_0_succ_Load(EOS(STATIC_4435)) -> f4441_0_succ_Load(EOS(STATIC_4441)) :|: TRUE f4441_0_succ_Load(EOS(STATIC_4441)) -> f4444_0_succ_FieldAccess(EOS(STATIC_4444)) :|: TRUE f4444_0_succ_FieldAccess(EOS(STATIC_4444)) -> f4452_0_succ_Load(EOS(STATIC_4452)) :|: TRUE f4452_0_succ_Load(EOS(STATIC_4452)) -> f4457_0_succ_Return(EOS(STATIC_4457)) :|: TRUE f4457_0_succ_Return(EOS(STATIC_4457)) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE f4492_0_copy_Return(EOS(STATIC_4492)) -> f4259_0_copy_Return(EOS(STATIC_4259)) :|: TRUE f1709_1_minus_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3176_0_copy_Return(EOS(STATIC_3176), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3610_0_copy_Return(EOS(STATIC_3610), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4488_0_copy_Return(EOS(STATIC_4488), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))))) -> f3200_0_minus_Return(EOS(STATIC_3200), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))))) :|: TRUE f1790_1_minus_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3228_0_minus_Return(EOS(STATIC_3228), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1790_1_minus_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))))) -> f3280_0_minus_Return(EOS(STATIC_3280), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))))) :|: TRUE f1790_1_minus_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f3992_0_minus_Return(EOS(STATIC_3992), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) :|: TRUE f1790_1_minus_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))))) -> f4083_0_minus_Return(EOS(STATIC_4083), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))))) :|: TRUE f1790_1_minus_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f4340_0_minus_Return(EOS(STATIC_4340), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808))) -> f3177_0_copy_Return(EOS(STATIC_3177)) :|: TRUE f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594))) -> f3611_0_copy_Return(EOS(STATIC_3611)) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460))) -> f4492_0_copy_Return(EOS(STATIC_4492)) :|: TRUE Combined rules. Obtained 1 conditional rules for P and 17 conditional rules for R.P rules: f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) -> f1790_1_minus_InvokeMethod(f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o268sub:0), java.lang.Object(o282sub:0), java.lang.Object(o268sub:0), java.lang.Object(o268sub:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) :|: TRUE R rules: f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, o284:0)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1709_1_minus_InvokeMethod(f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284:0)), o284:0), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o284:0)))), java.lang.Object(Nats.Nats(EOC, o284:0))) -> f1786_1_copy_InvokeMethod(f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284:0)), o284:0)) :|: TRUE f1790_1_minus_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0)))))) -> f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0)))))) :|: TRUE f1709_1_minus_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808))) -> f3594_0_copy_Return(EOS(STATIC_3594)) :|: TRUE f1709_1_minus_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) -> f1790_1_minus_InvokeMethod(f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o268sub:0), java.lang.Object(o282sub:0), java.lang.Object(o268sub:0), java.lang.Object(o268sub:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) :|: TRUE f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) -> f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0)))) :|: TRUE f1790_1_minus_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0)))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0)))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0)))))))) :|: TRUE f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594))) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE f1790_1_minus_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0))))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0))))))))) :|: TRUE f1790_1_minus_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460))) -> f4460_0_copy_Return(EOS(STATIC_4460)) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1808_0_copy_Return(EOS(STATIC_1808)) :|: TRUE Filtered ground terms: f1654_0_minus_InvokeMethod(x1, x2, x3, x4, x5) -> f1654_0_minus_InvokeMethod(x2, x3, x4, x5) Nats.Nats(x1, x2) -> Nats.Nats(x2) f1709_1_minus_InvokeMethod(x1, x2) -> f1709_1_minus_InvokeMethod(x1) f4002_0_minus_Return(x1, x2) -> f4002_0_minus_Return(x2) f1744_0_copy_NONNULL(x1, x2, x3) -> f1744_0_copy_NONNULL(x2, x3) f3225_0_minus_Return(x1, x2) -> f3225_0_minus_Return(x2) f3180_0_minus_Return(x1, x2) -> f3180_0_minus_Return f3907_0_minus_Return(x1, x2) -> f3907_0_minus_Return f3594_0_copy_Return(x1) -> f3594_0_copy_Return f4271_0_minus_Return(x1, x2) -> f4271_0_minus_Return f3175_0_minus_Return(x1, x2) -> f3175_0_minus_Return(x2) f4460_0_copy_Return(x1) -> f4460_0_copy_Return f1808_0_copy_Return(x1) -> f1808_0_copy_Return Filtered duplicate args: f1654_0_minus_InvokeMethod(x1, x2, x3, x4) -> f1654_0_minus_InvokeMethod(x2, x4) f1744_0_copy_NONNULL(x1, x2) -> f1744_0_copy_NONNULL(x1) Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(o282sub:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(o268sub:0:0)))) -> F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(o282sub:0:0), java.lang.Object(o268sub:0:0)) :|: TRUE R rules: ---------------------------------------- (14) Obligation: Q DP problem: The TRS P consists of the following rules: F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(o282sub:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(o268sub:0:0)))) -> F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(o282sub:0:0), java.lang.Object(o268sub:0:0)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (15) 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: *F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(o282sub:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(o268sub:0:0)))) -> F1654_0_MINUS_INVOKEMETHOD(java.lang.Object(o282sub:0:0), java.lang.Object(o268sub:0:0)) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (16) YES ---------------------------------------- (17) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Nats.DivMinus.div(LNats/Nats;LNats/Nats;)LNats/Nats; SCC calls the following helper methods: Nats.DivMinus.minus(LNats/Nats;LNats/Nats;)LNats/Nats;, Nats.DivMinus.div(LNats/Nats;LNats/Nats;)LNats/Nats;, Nats.Nats.copy()LNats/Nats; Performed SCC analyses: *Used field analysis yielded the following read fields: *Nats.Nats: [pred] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (18) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 53 rules for P and 273 rules for R.P rules: f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1575_0_isZero_Load(EOS(STATIC_1575), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f1575_0_isZero_Load(EOS(STATIC_1575), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1582_0_isZero_FieldAccess(EOS(STATIC_1582), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f1582_0_isZero_FieldAccess(EOS(STATIC_1582), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1585_0_isZero_NONNULL(EOS(STATIC_1585), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), o217) :|: TRUE f1585_0_isZero_NONNULL(EOS(STATIC_1585), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) -> f1588_0_isZero_NONNULL(EOS(STATIC_1588), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) :|: TRUE f1588_0_isZero_NONNULL(EOS(STATIC_1588), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) -> f1591_0_isZero_ConstantStackPush(EOS(STATIC_1591), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1591_0_isZero_ConstantStackPush(EOS(STATIC_1591), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1593_0_isZero_Return(EOS(STATIC_1593), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE f1593_0_isZero_Return(EOS(STATIC_1593), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1595_0_div_EQ(EOS(STATIC_1595), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE && matching1 = 0 f1595_0_div_EQ(EOS(STATIC_1595), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1597_0_div_Load(EOS(STATIC_1597), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE && matching1 = 0 f1597_0_div_Load(EOS(STATIC_1597), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1599_0_div_InvokeMethod(EOS(STATIC_1599), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1599_0_div_InvokeMethod(EOS(STATIC_1599), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1601_0_isZero_Load(EOS(STATIC_1601), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1601_0_isZero_Load(EOS(STATIC_1601), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1603_0_isZero_FieldAccess(EOS(STATIC_1603), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1603_0_isZero_FieldAccess(EOS(STATIC_1603), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1605_0_isZero_NONNULL(EOS(STATIC_1605), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), o215) :|: TRUE f1605_0_isZero_NONNULL(EOS(STATIC_1605), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1607_0_isZero_NONNULL(EOS(STATIC_1607), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) :|: TRUE f1607_0_isZero_NONNULL(EOS(STATIC_1607), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1610_0_isZero_ConstantStackPush(EOS(STATIC_1610), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1610_0_isZero_ConstantStackPush(EOS(STATIC_1610), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1612_0_isZero_Return(EOS(STATIC_1612), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE f1612_0_isZero_Return(EOS(STATIC_1612), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1615_0_div_EQ(EOS(STATIC_1615), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE && matching1 = 0 f1615_0_div_EQ(EOS(STATIC_1615), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1618_0_div_Load(EOS(STATIC_1618), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE && matching1 = 0 f1618_0_div_Load(EOS(STATIC_1618), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1621_0_div_FieldAccess(EOS(STATIC_1621), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub)))) :|: TRUE f1621_0_div_FieldAccess(EOS(STATIC_1621), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub)))) -> f1624_0_div_Load(EOS(STATIC_1624), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) :|: TRUE f1624_0_div_Load(EOS(STATIC_1624), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1627_0_div_FieldAccess(EOS(STATIC_1627), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1627_0_div_FieldAccess(EOS(STATIC_1627), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1628_0_div_InvokeMethod(EOS(STATIC_1628), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(o239sub)) :|: TRUE f1628_0_div_InvokeMethod(EOS(STATIC_1628), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1631_1_div_InvokeMethod(f1631_0_minus_Load(EOS(STATIC_1631), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1631_0_minus_Load(EOS(STATIC_1631), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f5079_0_minus_Load(EOS(STATIC_5079), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) :|: TRUE f3199_0_minus_Return(EOS(STATIC_3199), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3223_0_div_Load(EOS(STATIC_3223), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3223_0_div_Load(EOS(STATIC_3223), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3232_0_div_InvokeMethod(EOS(STATIC_3232), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f3232_0_div_InvokeMethod(EOS(STATIC_3232), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3244_1_div_InvokeMethod(f3244_0_div_Load(EOS(STATIC_3244), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))))) :|: TRUE f3244_0_div_Load(EOS(STATIC_3244), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3278_0_div_Load(EOS(STATIC_3278), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f3278_0_div_Load(EOS(STATIC_3278), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f3227_0_minus_Return(EOS(STATIC_3227), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3666_0_minus_Return(EOS(STATIC_3666), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3666_0_minus_Return(EOS(STATIC_3666), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o952))) -> f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o952))) :|: TRUE f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) -> f3906_0_div_Load(EOS(STATIC_3906), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) :|: TRUE f3906_0_div_Load(EOS(STATIC_3906), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) -> f3931_0_div_InvokeMethod(EOS(STATIC_3931), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3931_0_div_InvokeMethod(EOS(STATIC_3931), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f3940_0_div_Load(EOS(STATIC_3940), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f3940_0_div_Load(EOS(STATIC_3940), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3969_0_div_Load(EOS(STATIC_3969), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3969_0_div_Load(EOS(STATIC_3969), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3279_0_minus_Return(EOS(STATIC_3279), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3319_0_minus_Return(EOS(STATIC_3319), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3319_0_minus_Return(EOS(STATIC_3319), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o772)))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3689_0_minus_Return(EOS(STATIC_3689), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o772)))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3689_0_minus_Return(EOS(STATIC_3689), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1013)))))), java.lang.Object(Nats.Nats(EOC, o1009))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1013)))))), java.lang.Object(Nats.Nats(EOC, o1009))) :|: TRUE f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) -> f4001_0_div_Load(EOS(STATIC_4001), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) :|: TRUE f4001_0_div_Load(EOS(STATIC_4001), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) -> f4004_0_div_InvokeMethod(EOS(STATIC_4004), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f4004_0_div_InvokeMethod(EOS(STATIC_4004), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f4030_1_div_InvokeMethod(f4030_0_div_Load(EOS(STATIC_4030), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))))) :|: TRUE f4030_0_div_Load(EOS(STATIC_4030), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f4061_0_div_Load(EOS(STATIC_4061), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f4061_0_div_Load(EOS(STATIC_4061), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f3985_0_minus_Return(EOS(STATIC_3985), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) :|: TRUE f4072_0_minus_Return(EOS(STATIC_4072), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) :|: TRUE f4333_0_minus_Return(EOS(STATIC_4333), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) -> f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) :|: TRUE f1631_1_div_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3199_0_minus_Return(EOS(STATIC_3199), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3227_0_minus_Return(EOS(STATIC_3227), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub)))))))) -> f3279_0_minus_Return(EOS(STATIC_3279), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1320))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f3985_0_minus_Return(EOS(STATIC_3985), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) :|: TRUE f1631_1_div_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))), java.lang.Object(Nats.Nats(EOC, o1417))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419))))))))) -> f4072_0_minus_Return(EOS(STATIC_4072), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) :|: TRUE f1631_1_div_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f4333_0_minus_Return(EOS(STATIC_4333), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) :|: TRUE R rules: f1631_0_minus_Load(EOS(STATIC_1631), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1638_0_minus_Load(EOS(STATIC_1638), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) :|: TRUE f1638_0_minus_Load(EOS(STATIC_1638), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) :|: TRUE f1715_0_copy_Load(EOS(STATIC_1715), java.lang.Object(o252sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) :|: TRUE f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) -> f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o291sub)) :|: TRUE f1649_0_minus_Load(EOS(STATIC_1649), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1654_0_minus_InvokeMethod(EOS(STATIC_1654), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1660_0_isZero_Load(EOS(STATIC_1660), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) -> f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub), java.lang.Object(o239sub)) :|: TRUE f1666_0_isZero_FieldAccess(EOS(STATIC_1666), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) :|: TRUE f1675_0_isZero_FieldAccess(EOS(STATIC_1675), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(Nats.Nats(EOC, o266))) -> f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, o266)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, o266)), o266) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1686_0_isZero_NONNULL(EOS(STATIC_1686), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1685_0_isZero_NONNULL(EOS(STATIC_1685), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o268sub)) -> f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1686_0_isZero_NONNULL(EOS(STATIC_1686), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1688_0_isZero_ConstantStackPush(EOS(STATIC_1688), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1687_0_isZero_ConstantStackPush(EOS(STATIC_1687), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1688_0_isZero_ConstantStackPush(EOS(STATIC_1688), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1692_0_isZero_JMP(EOS(STATIC_1692), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE f1690_0_isZero_Return(EOS(STATIC_1690), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1692_0_isZero_JMP(EOS(STATIC_1692), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1697_0_isZero_Return(EOS(STATIC_1697), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1694_0_minus_EQ(EOS(STATIC_1694), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1697_0_isZero_Return(EOS(STATIC_1697), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1699_0_minus_EQ(EOS(STATIC_1699), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1698_0_minus_Load(EOS(STATIC_1698), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1699_0_minus_EQ(EOS(STATIC_1699), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1704_0_minus_Load(EOS(STATIC_1704), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) :|: 1 > 0 && matching1 = 1 f1701_0_minus_InvokeMethod(EOS(STATIC_1701), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1704_0_minus_Load(EOS(STATIC_1704), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) -> f1708_0_minus_InvokeMethod(EOS(STATIC_1708), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) :|: TRUE f1706_0_isZero_Load(EOS(STATIC_1706), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) -> f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o252sub)) :|: TRUE f1708_0_minus_InvokeMethod(EOS(STATIC_1708), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(o252sub)) -> f1709_1_minus_InvokeMethod(f1709_0_copy_Load(EOS(STATIC_1709), java.lang.Object(o252sub)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_0_copy_Load(EOS(STATIC_1709), java.lang.Object(o252sub)) -> f1715_0_copy_Load(EOS(STATIC_1715), java.lang.Object(o252sub)) :|: TRUE f1712_0_isZero_FieldAccess(EOS(STATIC_1712), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) :|: TRUE f1716_0_isZero_FieldAccess(EOS(STATIC_1716), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277))) -> f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, o277)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), o277) :|: TRUE f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1720_0_isZero_NONNULL(EOS(STATIC_1720), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) -> f1722_0_isZero_NONNULL(EOS(STATIC_1722), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) :|: TRUE f1721_0_isZero_NONNULL(EOS(STATIC_1721), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1722_0_isZero_NONNULL(EOS(STATIC_1722), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), NULL) -> f1727_0_isZero_ConstantStackPush(EOS(STATIC_1727), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1726_0_isZero_ConstantStackPush(EOS(STATIC_1726), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE f1727_0_isZero_ConstantStackPush(EOS(STATIC_1727), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1734_0_isZero_JMP(EOS(STATIC_1734), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE f1731_0_isZero_Return(EOS(STATIC_1731), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 0) :|: TRUE && matching1 = 0 f1734_0_isZero_JMP(EOS(STATIC_1734), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1742_0_isZero_Return(EOS(STATIC_1742), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE && matching1 = 1 f1738_0_minus_EQ(EOS(STATIC_1738), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE && matching1 = 0 f1742_0_isZero_Return(EOS(STATIC_1742), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1752_0_minus_EQ(EOS(STATIC_1752), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), 1) :|: TRUE && matching1 = 1 f1748_0_minus_Load(EOS(STATIC_1748), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) :|: TRUE f1752_0_minus_EQ(EOS(STATIC_1752), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), matching1) -> f1760_0_minus_InvokeMethod(EOS(STATIC_1760), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: 1 > 0 && matching1 = 1 f1757_0_minus_FieldAccess(EOS(STATIC_1757), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub)))) -> f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) :|: TRUE f1760_0_minus_InvokeMethod(EOS(STATIC_1760), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1769_0_zero_New(EOS(STATIC_1769), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1767_0_minus_Load(EOS(STATIC_1767), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub)) -> f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1769_0_zero_New(EOS(STATIC_1769), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1784_0_zero_Duplicate(EOS(STATIC_1784), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1776_0_minus_FieldAccess(EOS(STATIC_1776), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) -> f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1782_0_minus_InvokeMethod(EOS(STATIC_1782), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1790_1_minus_InvokeMethod(f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub)))) :|: TRUE f1784_0_zero_Duplicate(EOS(STATIC_1784), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1792_0_zero_InvokeMethod(EOS(STATIC_1792), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_0_minus_Load(EOS(STATIC_1790), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) -> f1794_0_minus_Load(EOS(STATIC_1794), java.lang.Object(o268sub), java.lang.Object(o282sub), java.lang.Object(o268sub)) :|: TRUE f1792_0_zero_InvokeMethod(EOS(STATIC_1792), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1796_0__init__Load(EOS(STATIC_1796), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1796_0__init__Load(EOS(STATIC_1796), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1803_0__init__InvokeMethod(EOS(STATIC_1803), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1803_0__init__InvokeMethod(EOS(STATIC_1803), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1821_0__init__Return(EOS(STATIC_1821), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1821_0__init__Return(EOS(STATIC_1821), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3165_0_zero_Return(EOS(STATIC_3165), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3165_0_zero_Return(EOS(STATIC_3165), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3176_0_copy_Return(EOS(STATIC_3176), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3200_0_minus_Return(EOS(STATIC_3200), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3228_0_minus_Return(EOS(STATIC_3228), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3675_0_minus_Return(EOS(STATIC_3675), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3280_0_minus_Return(EOS(STATIC_3280), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3321_0_minus_Return(EOS(STATIC_3321), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3321_0_minus_Return(EOS(STATIC_3321), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o787)))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3691_0_minus_Return(EOS(STATIC_3691), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o787)))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3610_0_copy_Return(EOS(STATIC_3610), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3863_0_copy_Return(EOS(STATIC_3863), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3675_0_minus_Return(EOS(STATIC_3675), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o960))) -> f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o960))) :|: TRUE f3691_0_minus_Return(EOS(STATIC_3691), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1029)))))), java.lang.Object(Nats.Nats(EOC, o1025))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1029)))))), java.lang.Object(Nats.Nats(EOC, o1025))) :|: TRUE f3863_0_copy_Return(EOS(STATIC_3863), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1177))))) -> f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1177))))) :|: TRUE f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1245))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1245))) :|: TRUE f3992_0_minus_Return(EOS(STATIC_3992), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1326))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1326))) :|: TRUE f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1370)))))), java.lang.Object(Nats.Nats(EOC, o1366))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1370)))))), java.lang.Object(Nats.Nats(EOC, o1366))) :|: TRUE f4083_0_minus_Return(EOS(STATIC_4083), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427)))))))), java.lang.Object(Nats.Nats(EOC, o1425))) -> f3993_0_minus_Return(EOS(STATIC_3993), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427)))))))), java.lang.Object(Nats.Nats(EOC, o1425))) :|: TRUE f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1561))))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1561))))) :|: TRUE f4340_0_minus_Return(EOS(STATIC_4340), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623))))) -> f3903_0_minus_Return(EOS(STATIC_3903), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623))))) :|: TRUE f4488_0_copy_Return(EOS(STATIC_4488), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777))))))) -> f4246_0_copy_Return(EOS(STATIC_4246), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777))))))) :|: TRUE f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1575_0_isZero_Load(EOS(STATIC_1575), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f1575_0_isZero_Load(EOS(STATIC_1575), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1582_0_isZero_FieldAccess(EOS(STATIC_1582), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) :|: TRUE f1582_0_isZero_FieldAccess(EOS(STATIC_1582), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), java.lang.Object(Nats.Nats(EOC, o217))) -> f1585_0_isZero_NONNULL(EOS(STATIC_1585), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, o217)), o217) :|: TRUE f1585_0_isZero_NONNULL(EOS(STATIC_1585), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) -> f1588_0_isZero_NONNULL(EOS(STATIC_1588), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) :|: TRUE f1585_0_isZero_NONNULL(EOS(STATIC_1585), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1589_0_isZero_NONNULL(EOS(STATIC_1589), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1588_0_isZero_NONNULL(EOS(STATIC_1588), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o239sub)) -> f1591_0_isZero_ConstantStackPush(EOS(STATIC_1591), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1589_0_isZero_NONNULL(EOS(STATIC_1589), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1592_0_isZero_ConstantStackPush(EOS(STATIC_1592), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1591_0_isZero_ConstantStackPush(EOS(STATIC_1591), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1593_0_isZero_Return(EOS(STATIC_1593), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE f1592_0_isZero_ConstantStackPush(EOS(STATIC_1592), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1594_0_isZero_JMP(EOS(STATIC_1594), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE f1593_0_isZero_Return(EOS(STATIC_1593), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1595_0_div_EQ(EOS(STATIC_1595), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE && matching1 = 0 f1594_0_isZero_JMP(EOS(STATIC_1594), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1596_0_isZero_Return(EOS(STATIC_1596), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1595_0_div_EQ(EOS(STATIC_1595), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1597_0_div_Load(EOS(STATIC_1597), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE && matching1 = 0 f1596_0_isZero_Return(EOS(STATIC_1596), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1598_0_div_EQ(EOS(STATIC_1598), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), 1) :|: TRUE && matching1 = 1 f1597_0_div_Load(EOS(STATIC_1597), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1599_0_div_InvokeMethod(EOS(STATIC_1599), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1598_0_div_EQ(EOS(STATIC_1598), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, NULL)), matching1) -> f1600_0_div_InvokeMethod(EOS(STATIC_1600)) :|: 1 > 0 && matching1 = 1 f1599_0_div_InvokeMethod(EOS(STATIC_1599), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1601_0_isZero_Load(EOS(STATIC_1601), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1600_0_div_InvokeMethod(EOS(STATIC_1600)) -> f1602_0_zero_New(EOS(STATIC_1602)) :|: TRUE f1601_0_isZero_Load(EOS(STATIC_1601), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1603_0_isZero_FieldAccess(EOS(STATIC_1603), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) :|: TRUE f1602_0_zero_New(EOS(STATIC_1602)) -> f1604_0_zero_Duplicate(EOS(STATIC_1604)) :|: TRUE f1603_0_isZero_FieldAccess(EOS(STATIC_1603), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, o215))) -> f1605_0_isZero_NONNULL(EOS(STATIC_1605), java.lang.Object(Nats.Nats(EOC, o215)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), o215) :|: TRUE f1604_0_zero_Duplicate(EOS(STATIC_1604)) -> f1606_0_zero_InvokeMethod(EOS(STATIC_1606)) :|: TRUE f1605_0_isZero_NONNULL(EOS(STATIC_1605), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1607_0_isZero_NONNULL(EOS(STATIC_1607), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) :|: TRUE f1605_0_isZero_NONNULL(EOS(STATIC_1605), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), NULL) -> f1608_0_isZero_NONNULL(EOS(STATIC_1608), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), NULL) :|: TRUE f1606_0_zero_InvokeMethod(EOS(STATIC_1606)) -> f1609_0__init__Load(EOS(STATIC_1609)) :|: TRUE f1607_0_isZero_NONNULL(EOS(STATIC_1607), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1610_0_isZero_ConstantStackPush(EOS(STATIC_1610), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1608_0_isZero_NONNULL(EOS(STATIC_1608), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), NULL) -> f1611_0_isZero_ConstantStackPush(EOS(STATIC_1611), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1609_0__init__Load(EOS(STATIC_1609)) -> f1614_0__init__InvokeMethod(EOS(STATIC_1614)) :|: TRUE f1610_0_isZero_ConstantStackPush(EOS(STATIC_1610), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1612_0_isZero_Return(EOS(STATIC_1612), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE f1611_0_isZero_ConstantStackPush(EOS(STATIC_1611), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1613_0_isZero_JMP(EOS(STATIC_1613), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 1) :|: TRUE f1612_0_isZero_Return(EOS(STATIC_1612), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1615_0_div_EQ(EOS(STATIC_1615), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 0) :|: TRUE && matching1 = 0 f1613_0_isZero_JMP(EOS(STATIC_1613), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1616_0_isZero_Return(EOS(STATIC_1616), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 1) :|: TRUE && matching1 = 1 f1614_0__init__InvokeMethod(EOS(STATIC_1614)) -> f1617_0__init__Return(EOS(STATIC_1617)) :|: TRUE f1615_0_div_EQ(EOS(STATIC_1615), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1618_0_div_Load(EOS(STATIC_1618), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE && matching1 = 0 f1616_0_isZero_Return(EOS(STATIC_1616), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1619_0_div_EQ(EOS(STATIC_1619), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), 1) :|: TRUE && matching1 = 1 f1617_0__init__Return(EOS(STATIC_1617)) -> f1620_0_zero_Return(EOS(STATIC_1620)) :|: TRUE f1618_0_div_Load(EOS(STATIC_1618), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1621_0_div_FieldAccess(EOS(STATIC_1621), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub)))) :|: TRUE f1619_0_div_EQ(EOS(STATIC_1619), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), matching1) -> f1622_0_div_InvokeMethod(EOS(STATIC_1622)) :|: 1 > 0 && matching1 = 1 f1620_0_zero_Return(EOS(STATIC_1620)) -> f1623_0_div_Return(EOS(STATIC_1623)) :|: TRUE f1621_0_div_FieldAccess(EOS(STATIC_1621), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub)))) -> f1624_0_div_Load(EOS(STATIC_1624), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) :|: TRUE f1622_0_div_InvokeMethod(EOS(STATIC_1622)) -> f1625_0_zero_New(EOS(STATIC_1625)) :|: TRUE f1624_0_div_Load(EOS(STATIC_1624), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub)) -> f1627_0_div_FieldAccess(EOS(STATIC_1627), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1625_0_zero_New(EOS(STATIC_1625)) -> f1629_0_zero_Duplicate(EOS(STATIC_1629)) :|: TRUE f1627_0_div_FieldAccess(EOS(STATIC_1627), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) -> f1628_0_div_InvokeMethod(EOS(STATIC_1628), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(o239sub)) :|: TRUE f1628_0_div_InvokeMethod(EOS(STATIC_1628), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub))), java.lang.Object(o252sub), java.lang.Object(o239sub)) -> f1631_1_div_InvokeMethod(f1631_0_minus_Load(EOS(STATIC_1631), java.lang.Object(o239sub), java.lang.Object(o252sub), java.lang.Object(o239sub)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub)))) :|: TRUE f1629_0_zero_Duplicate(EOS(STATIC_1629)) -> f1634_0_zero_InvokeMethod(EOS(STATIC_1634)) :|: TRUE f1634_0_zero_InvokeMethod(EOS(STATIC_1634)) -> f1640_0__init__Load(EOS(STATIC_1640)) :|: TRUE f1640_0__init__Load(EOS(STATIC_1640)) -> f1647_0__init__InvokeMethod(EOS(STATIC_1647)) :|: TRUE f1647_0__init__InvokeMethod(EOS(STATIC_1647)) -> f1652_0__init__Return(EOS(STATIC_1652)) :|: TRUE f1652_0__init__Return(EOS(STATIC_1652)) -> f1657_0_zero_Return(EOS(STATIC_1657)) :|: TRUE f1657_0_zero_Return(EOS(STATIC_1657)) -> f1662_0_div_Return(EOS(STATIC_1662)) :|: TRUE f3199_0_minus_Return(EOS(STATIC_3199), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3223_0_div_Load(EOS(STATIC_3223), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3223_0_div_Load(EOS(STATIC_3223), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3232_0_div_InvokeMethod(EOS(STATIC_3232), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f3227_0_minus_Return(EOS(STATIC_3227), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3666_0_minus_Return(EOS(STATIC_3666), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3232_0_div_InvokeMethod(EOS(STATIC_3232), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3244_1_div_InvokeMethod(f3244_0_div_Load(EOS(STATIC_3244), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))))) :|: TRUE f3244_0_div_Load(EOS(STATIC_3244), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3278_0_div_Load(EOS(STATIC_3278), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f3279_0_minus_Return(EOS(STATIC_3279), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3319_0_minus_Return(EOS(STATIC_3319), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3319_0_minus_Return(EOS(STATIC_3319), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o772)))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3689_0_minus_Return(EOS(STATIC_3689), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o772)))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3523_0_div_Return(EOS(STATIC_3523)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f3525_0_div_Return(EOS(STATIC_3525)) -> f3545_0_div_InvokeMethod(EOS(STATIC_3545)) :|: TRUE f3544_0_div_InvokeMethod(EOS(STATIC_3544)) -> f3574_0_succ_New(EOS(STATIC_3574)) :|: TRUE f3545_0_div_InvokeMethod(EOS(STATIC_3545)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f3574_0_succ_New(EOS(STATIC_3574)) -> f3579_0_succ_Duplicate(EOS(STATIC_3579)) :|: TRUE f3579_0_succ_Duplicate(EOS(STATIC_3579)) -> f3583_0_succ_InvokeMethod(EOS(STATIC_3583)) :|: TRUE f3583_0_succ_InvokeMethod(EOS(STATIC_3583)) -> f3588_0__init__Load(EOS(STATIC_3588)) :|: TRUE f3588_0__init__Load(EOS(STATIC_3588)) -> f3595_0__init__InvokeMethod(EOS(STATIC_3595)) :|: TRUE f3595_0__init__InvokeMethod(EOS(STATIC_3595)) -> f3597_0__init__Return(EOS(STATIC_3597)) :|: TRUE f3597_0__init__Return(EOS(STATIC_3597)) -> f3609_0_succ_Store(EOS(STATIC_3609)) :|: TRUE f3609_0_succ_Store(EOS(STATIC_3609)) -> f3614_0_succ_Load(EOS(STATIC_3614)) :|: TRUE f3614_0_succ_Load(EOS(STATIC_3614)) -> f3623_0_succ_Load(EOS(STATIC_3623)) :|: TRUE f3623_0_succ_Load(EOS(STATIC_3623)) -> f3630_0_succ_FieldAccess(EOS(STATIC_3630)) :|: TRUE f3630_0_succ_FieldAccess(EOS(STATIC_3630)) -> f3655_0_succ_Load(EOS(STATIC_3655)) :|: TRUE f3655_0_succ_Load(EOS(STATIC_3655)) -> f3677_0_succ_Return(EOS(STATIC_3677)) :|: TRUE f3666_0_minus_Return(EOS(STATIC_3666), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o952))) -> f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o952))) :|: TRUE f3677_0_succ_Return(EOS(STATIC_3677)) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f3689_0_minus_Return(EOS(STATIC_3689), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1013)))))), java.lang.Object(Nats.Nats(EOC, o1009))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1013)))))), java.lang.Object(Nats.Nats(EOC, o1009))) :|: TRUE f3694_0_div_Return(EOS(STATIC_3694)) -> f3937_0_div_Return(EOS(STATIC_3937)) :|: TRUE f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) -> f3906_0_div_Load(EOS(STATIC_3906), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) :|: TRUE f3906_0_div_Load(EOS(STATIC_3906), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1229))) -> f3931_0_div_InvokeMethod(EOS(STATIC_3931), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3931_0_div_InvokeMethod(EOS(STATIC_3931), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f3940_0_div_Load(EOS(STATIC_3940), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f3937_0_div_Return(EOS(STATIC_3937)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f3940_0_div_Load(EOS(STATIC_3940), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3969_0_div_Load(EOS(STATIC_3969), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3985_0_minus_Return(EOS(STATIC_3985), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) :|: TRUE f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) -> f4001_0_div_Load(EOS(STATIC_4001), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) :|: TRUE f4001_0_div_Load(EOS(STATIC_4001), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))), java.lang.Object(Nats.Nats(EOC, o1342))) -> f4004_0_div_InvokeMethod(EOS(STATIC_4004), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f4004_0_div_InvokeMethod(EOS(STATIC_4004), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f4030_1_div_InvokeMethod(f4030_0_div_Load(EOS(STATIC_4030), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346)))))))) :|: TRUE f4030_0_div_Load(EOS(STATIC_4030), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f4061_0_div_Load(EOS(STATIC_4061), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f4054_0_div_Return(EOS(STATIC_4054)) -> f4086_0_div_InvokeMethod(EOS(STATIC_4086)) :|: TRUE f4055_0_div_Return(EOS(STATIC_4055)) -> f4087_0_div_InvokeMethod(EOS(STATIC_4087)) :|: TRUE f4056_0_div_Return(EOS(STATIC_4056)) -> f4385_0_div_Return(EOS(STATIC_4385)) :|: TRUE f4072_0_minus_Return(EOS(STATIC_4072), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) -> f3986_0_minus_Return(EOS(STATIC_3986), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) :|: TRUE f4086_0_div_InvokeMethod(EOS(STATIC_4086)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f4087_0_div_InvokeMethod(EOS(STATIC_4087)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f4096_0_div_Return(EOS(STATIC_4096)) -> f4137_0_div_InvokeMethod(EOS(STATIC_4137)) :|: TRUE f4097_0_div_Return(EOS(STATIC_4097)) -> f4142_0_div_InvokeMethod(EOS(STATIC_4142)) :|: TRUE f4098_0_div_Return(EOS(STATIC_4098)) -> f4399_0_div_Return(EOS(STATIC_4399)) :|: TRUE f4137_0_div_InvokeMethod(EOS(STATIC_4137)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f4142_0_div_InvokeMethod(EOS(STATIC_4142)) -> f3544_0_div_InvokeMethod(EOS(STATIC_3544)) :|: TRUE f4333_0_minus_Return(EOS(STATIC_4333), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) -> f3900_0_minus_Return(EOS(STATIC_3900), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) :|: TRUE f4372_0_div_Return(EOS(STATIC_4372)) -> f4406_0_div_InvokeMethod(EOS(STATIC_4406)) :|: TRUE f4385_0_div_Return(EOS(STATIC_4385)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f4399_0_div_Return(EOS(STATIC_4399)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f4406_0_div_InvokeMethod(EOS(STATIC_4406)) -> f4414_0_succ_New(EOS(STATIC_4414)) :|: TRUE f4414_0_succ_New(EOS(STATIC_4414)) -> f4419_0_succ_Duplicate(EOS(STATIC_4419)) :|: TRUE f4419_0_succ_Duplicate(EOS(STATIC_4419)) -> f4421_0_succ_InvokeMethod(EOS(STATIC_4421)) :|: TRUE f4421_0_succ_InvokeMethod(EOS(STATIC_4421)) -> f4425_0__init__Load(EOS(STATIC_4425)) :|: TRUE f4425_0__init__Load(EOS(STATIC_4425)) -> f4432_0__init__InvokeMethod(EOS(STATIC_4432)) :|: TRUE f4432_0__init__InvokeMethod(EOS(STATIC_4432)) -> f4439_0__init__Return(EOS(STATIC_4439)) :|: TRUE f4439_0__init__Return(EOS(STATIC_4439)) -> f4443_0_succ_Store(EOS(STATIC_4443)) :|: TRUE f4443_0_succ_Store(EOS(STATIC_4443)) -> f4447_0_succ_Load(EOS(STATIC_4447)) :|: TRUE f4447_0_succ_Load(EOS(STATIC_4447)) -> f4455_0_succ_Load(EOS(STATIC_4455)) :|: TRUE f4455_0_succ_Load(EOS(STATIC_4455)) -> f4458_0_succ_FieldAccess(EOS(STATIC_4458)) :|: TRUE f4458_0_succ_FieldAccess(EOS(STATIC_4458)) -> f4466_0_succ_Load(EOS(STATIC_4466)) :|: TRUE f4466_0_succ_Load(EOS(STATIC_4466)) -> f4470_0_succ_Return(EOS(STATIC_4470)) :|: TRUE f4470_0_succ_Return(EOS(STATIC_4470)) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f4523_0_div_Return(EOS(STATIC_4523)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f4529_0_div_Return(EOS(STATIC_4529)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f4535_0_div_Return(EOS(STATIC_4535)) -> f4372_0_div_Return(EOS(STATIC_4372)) :|: TRUE f3278_0_div_Load(EOS(STATIC_3278), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) :|: TRUE f3969_0_div_Load(EOS(STATIC_3969), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o1229)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f4061_0_div_Load(EOS(STATIC_4061), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) -> f1566_0_div_Load(EOS(STATIC_1566), java.lang.Object(Nats.Nats(EOC, o1342)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1346))))))) :|: TRUE f1724_0_copy_Load(EOS(STATIC_1724), java.lang.Object(o252sub)) -> f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(o252sub), java.lang.Object(o252sub)) :|: TRUE f1728_0_copy_FieldAccess(EOS(STATIC_1728), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) :|: TRUE f1736_0_copy_FieldAccess(EOS(STATIC_1736), java.lang.Object(Nats.Nats(EOC, o284)), java.lang.Object(Nats.Nats(EOC, o284))) -> f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284)), o284) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) :|: TRUE f1754_0_copy_NONNULL(EOS(STATIC_1754), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub))), java.lang.Object(o291sub)) -> f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1756_0_copy_NONNULL(EOS(STATIC_1756), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1764_0_copy_New(EOS(STATIC_1764)) :|: TRUE f1762_0_copy_Load(EOS(STATIC_1762), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) :|: TRUE f1764_0_copy_New(EOS(STATIC_1764)) -> f1773_0_copy_Duplicate(EOS(STATIC_1773), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1771_0_copy_FieldAccess(EOS(STATIC_1771), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o291sub)))) -> f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) :|: TRUE f1773_0_copy_Duplicate(EOS(STATIC_1773), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1779_0_copy_InvokeMethod(EOS(STATIC_1779), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1778_0_copy_InvokeMethod(EOS(STATIC_1778), java.lang.Object(o291sub)) -> f1786_1_copy_InvokeMethod(f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub))) :|: TRUE f1779_0_copy_InvokeMethod(EOS(STATIC_1779), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1788_0__init__Load(EOS(STATIC_1788), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1786_0_copy_Load(EOS(STATIC_1786), java.lang.Object(o291sub)) -> f1793_0_copy_Load(EOS(STATIC_1793), java.lang.Object(o291sub)) :|: TRUE f1788_0__init__Load(EOS(STATIC_1788), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1798_0__init__InvokeMethod(EOS(STATIC_1798), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1798_0__init__InvokeMethod(EOS(STATIC_1798), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1801_0__init__Return(EOS(STATIC_1801), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1801_0__init__Return(EOS(STATIC_1801), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3177_0_copy_Return(EOS(STATIC_3177), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3181_0_copy_Store(EOS(STATIC_3181), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3181_0_copy_Store(EOS(STATIC_3181), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3197_0_copy_Load(EOS(STATIC_3197), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3197_0_copy_Load(EOS(STATIC_3197), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3220_0_copy_InvokeMethod(EOS(STATIC_3220), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3220_0_copy_InvokeMethod(EOS(STATIC_3220), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3230_0_succ_New(EOS(STATIC_3230), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3230_0_succ_New(EOS(STATIC_3230), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3275_0_succ_Duplicate(EOS(STATIC_3275), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3275_0_succ_Duplicate(EOS(STATIC_3275), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3314_0_succ_InvokeMethod(EOS(STATIC_3314), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3314_0_succ_InvokeMethod(EOS(STATIC_3314), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3322_0__init__Load(EOS(STATIC_3322), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3322_0__init__Load(EOS(STATIC_3322), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3339_0__init__InvokeMethod(EOS(STATIC_3339), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3339_0__init__InvokeMethod(EOS(STATIC_3339), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3543_0__init__Return(EOS(STATIC_3543), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3543_0__init__Return(EOS(STATIC_3543), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3573_0_succ_Store(EOS(STATIC_3573), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3573_0_succ_Store(EOS(STATIC_3573), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3577_0_succ_Load(EOS(STATIC_3577), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3577_0_succ_Load(EOS(STATIC_3577), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3578_0_succ_Load(EOS(STATIC_3578), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3578_0_succ_Load(EOS(STATIC_3578), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3582_0_succ_FieldAccess(EOS(STATIC_3582), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f3582_0_succ_FieldAccess(EOS(STATIC_3582), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3587_0_succ_Load(EOS(STATIC_3587), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3587_0_succ_Load(EOS(STATIC_3587), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3593_0_succ_Return(EOS(STATIC_3593), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3593_0_succ_Return(EOS(STATIC_3593), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3611_0_copy_Return(EOS(STATIC_3611), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3865_0_copy_Return(EOS(STATIC_3865), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f3865_0_copy_Return(EOS(STATIC_3865), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1187))))) -> f4259_0_copy_Return(EOS(STATIC_4259), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1187))))) :|: TRUE f4259_0_copy_Return(EOS(STATIC_4259), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4274_0_copy_Store(EOS(STATIC_4274), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) :|: TRUE f4274_0_copy_Store(EOS(STATIC_4274), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4281_0_copy_Load(EOS(STATIC_4281), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) :|: TRUE f4281_0_copy_Load(EOS(STATIC_4281), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4302_0_copy_InvokeMethod(EOS(STATIC_4302), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) :|: TRUE f4302_0_copy_InvokeMethod(EOS(STATIC_4302), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4342_0_succ_New(EOS(STATIC_4342), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) :|: TRUE f4342_0_succ_New(EOS(STATIC_4342), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4409_0_succ_Duplicate(EOS(STATIC_4409), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4409_0_succ_Duplicate(EOS(STATIC_4409), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4415_0_succ_InvokeMethod(EOS(STATIC_4415), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4415_0_succ_InvokeMethod(EOS(STATIC_4415), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4418_0__init__Load(EOS(STATIC_4418), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4418_0__init__Load(EOS(STATIC_4418), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4423_0__init__InvokeMethod(EOS(STATIC_4423), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4423_0__init__InvokeMethod(EOS(STATIC_4423), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4428_0__init__Return(EOS(STATIC_4428), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4428_0__init__Return(EOS(STATIC_4428), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4429_0_succ_Store(EOS(STATIC_4429), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4429_0_succ_Store(EOS(STATIC_4429), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4435_0_succ_Load(EOS(STATIC_4435), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4435_0_succ_Load(EOS(STATIC_4435), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4441_0_succ_Load(EOS(STATIC_4441), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f4441_0_succ_Load(EOS(STATIC_4441), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579)))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4444_0_succ_FieldAccess(EOS(STATIC_4444), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) :|: TRUE f4444_0_succ_FieldAccess(EOS(STATIC_4444), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))) -> f4452_0_succ_Load(EOS(STATIC_4452), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))))) :|: TRUE f4452_0_succ_Load(EOS(STATIC_4452), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))))) -> f4457_0_succ_Return(EOS(STATIC_4457), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))))) :|: TRUE f4457_0_succ_Return(EOS(STATIC_4457), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))))) -> f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1579))))))) :|: TRUE f4492_0_copy_Return(EOS(STATIC_4492), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781))))))) -> f4259_0_copy_Return(EOS(STATIC_4259), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781))))))) :|: TRUE f1709_1_minus_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3176_0_copy_Return(EOS(STATIC_3176), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3610_0_copy_Return(EOS(STATIC_3610), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1709_1_minus_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777))))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4488_0_copy_Return(EOS(STATIC_4488), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777))))))) :|: TRUE f1790_1_minus_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub)))))) -> f3200_0_minus_Return(EOS(STATIC_3200), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3228_0_minus_Return(EOS(STATIC_3228), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub)))))))) -> f3280_0_minus_Return(EOS(STATIC_3280), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1326))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f3992_0_minus_Return(EOS(STATIC_3992), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1326))) :|: TRUE f1790_1_minus_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427)))))), java.lang.Object(Nats.Nats(EOC, o1425))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427))))))))) -> f4083_0_minus_Return(EOS(STATIC_4083), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427)))))))), java.lang.Object(Nats.Nats(EOC, o1425))) :|: TRUE f1790_1_minus_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f4340_0_minus_Return(EOS(STATIC_4340), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623))))) :|: TRUE f1631_1_div_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub)))))) -> f3199_0_minus_Return(EOS(STATIC_3199), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3227_0_minus_Return(EOS(STATIC_3227), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub)))))))) -> f3279_0_minus_Return(EOS(STATIC_3279), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1631_1_div_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1320))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f3985_0_minus_Return(EOS(STATIC_3985), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1320))) :|: TRUE f1631_1_div_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))), java.lang.Object(Nats.Nats(EOC, o1417))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419))))))))) -> f4072_0_minus_Return(EOS(STATIC_4072), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419)))))))), java.lang.Object(Nats.Nats(EOC, o1417))) :|: TRUE f1631_1_div_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f4333_0_minus_Return(EOS(STATIC_4333), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617))))) :|: TRUE f3244_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f3523_0_div_Return(EOS(STATIC_3523)) :|: TRUE f3244_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f3525_0_div_Return(EOS(STATIC_3525)) :|: TRUE f3244_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f3694_0_div_Return(EOS(STATIC_3694)) :|: TRUE f3244_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4523_0_div_Return(EOS(STATIC_4523)) :|: TRUE f3940_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f4054_0_div_Return(EOS(STATIC_4054)) :|: TRUE f3940_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f4055_0_div_Return(EOS(STATIC_4055)) :|: TRUE f3940_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f4056_0_div_Return(EOS(STATIC_4056)) :|: TRUE f3940_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4529_0_div_Return(EOS(STATIC_4529)) :|: TRUE f4030_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f4096_0_div_Return(EOS(STATIC_4096)) :|: TRUE f4030_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f4097_0_div_Return(EOS(STATIC_4097)) :|: TRUE f4030_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f4098_0_div_Return(EOS(STATIC_4098)) :|: TRUE f4030_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4535_0_div_Return(EOS(STATIC_4535)) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL)))) -> f3177_0_copy_Return(EOS(STATIC_3177), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) -> f3611_0_copy_Return(EOS(STATIC_3611), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781)))))))) -> f4492_0_copy_Return(EOS(STATIC_4492), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781))))))) :|: TRUE Combined rules. Obtained 7 conditional rules for P and 38 conditional rules for R.P rules: f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub:0)))) -> f1631_1_div_InvokeMethod(f5079_0_minus_Load(EOS(STATIC_5079), java.lang.Object(o239sub:0), java.lang.Object(o252sub:0), java.lang.Object(o239sub:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub:0)))) :|: TRUE f1631_1_div_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f1631_1_div_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1320:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o1320:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))))) :|: TRUE f1631_1_div_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0)))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))))))) :|: TRUE f1631_1_div_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0)))))) -> f3244_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))))))) :|: TRUE f1631_1_div_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617:0))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617:0)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f1631_1_div_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))), java.lang.Object(Nats.Nats(EOC, o1417:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0))))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o1417:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))))))) :|: TRUE R rules: f3940_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f3244_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f4030_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f3940_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f1631_1_div_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1320:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o1320:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))))) :|: TRUE f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o239sub:0)))) -> f1662_0_div_Return(EOS(STATIC_1662)) :|: TRUE f3244_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f3244_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f1631_1_div_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))), java.lang.Object(Nats.Nats(EOC, o1417:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0))))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o1417:0)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1419:0)))))))))) :|: TRUE f1631_1_div_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f4030_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f3940_1_div_InvokeMethod(f3680_0_div_Return(EOS(STATIC_3680))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f3244_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f1631_1_div_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0)))))) -> f3244_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o702sub:0))))))) :|: TRUE f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, o215:0)), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) -> f1623_0_div_Return(EOS(STATIC_1623)) :|: TRUE f1631_1_div_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0)))))))) -> f4030_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o730sub:0))))))))) :|: TRUE f4030_1_div_InvokeMethod(f4483_0_div_Return(EOS(STATIC_4483))) -> f4483_0_div_Return(EOS(STATIC_4483)) :|: TRUE f3940_1_div_InvokeMethod(f1623_0_div_Return(EOS(STATIC_1623))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o252sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0))))) -> f1631_1_div_InvokeMethod(f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, o266:0)), java.lang.Object(o252sub:0), java.lang.Object(Nats.Nats(EOC, o266:0)), o266:0), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0))))) :|: TRUE f1631_1_div_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617:0))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3940_1_div_InvokeMethod(f1571_0_div_InvokeMethod(EOS(STATIC_1571), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1617:0)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) :|: TRUE f4030_1_div_InvokeMethod(f1662_0_div_Return(EOS(STATIC_1662))) -> f3680_0_div_Return(EOS(STATIC_3680)) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, o284:0)), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1709_1_minus_InvokeMethod(f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284:0)), o284:0), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, NULL)), NULL) -> f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777:0))))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1777:0))))))) :|: TRUE f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o284:0)))), java.lang.Object(Nats.Nats(EOC, o284:0))) -> f1786_1_copy_InvokeMethod(f1744_0_copy_NONNULL(EOS(STATIC_1744), java.lang.Object(Nats.Nats(EOC, o284:0)), o284:0)) :|: TRUE f1786_1_copy_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL)))) -> f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(o268sub:0)) -> f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o268sub:0))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1786_1_copy_InvokeMethod(f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781:0)))))))) -> f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1781:0))))))))) :|: TRUE f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o282sub:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0)))), java.lang.Object(Nats.Nats(EOC, o266:0))) -> f1790_1_minus_InvokeMethod(f1678_0_isZero_NONNULL(EOS(STATIC_1678), java.lang.Object(Nats.Nats(EOC, o266:0)), java.lang.Object(o282sub:0), java.lang.Object(Nats.Nats(EOC, o266:0)), o266:0), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o266:0))))) :|: TRUE f1790_1_minus_InvokeMethod(f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0))))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0)))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o736sub:0))))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) :|: TRUE f1786_1_copy_InvokeMethod(f3594_0_copy_Return(EOS(STATIC_3594), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))) -> f4460_0_copy_Return(EOS(STATIC_4460), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) :|: TRUE f1790_1_minus_InvokeMethod(f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f3175_0_minus_Return(EOS(STATIC_3175), java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0))), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0)))))) -> f3225_0_minus_Return(EOS(STATIC_3225), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(o707sub:0))))), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1709_1_minus_InvokeMethod(f1808_0_copy_Return(EOS(STATIC_1808), java.lang.Object(Nats.Nats(EOC, NULL))), java.lang.Object(Nats.Nats(EOC, NULL))) -> f3180_0_minus_Return(EOS(STATIC_3180), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, NULL))) :|: TRUE f1790_1_minus_InvokeMethod(f4271_0_minus_Return(EOS(STATIC_4271), java.lang.Object(Nats.Nats(EOC, NULL)), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623:0))))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))) -> f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1623:0))))) :|: TRUE f1790_1_minus_InvokeMethod(f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0)))))), java.lang.Object(Nats.Nats(EOC, o1425:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0))))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, o1427:0)))))))), java.lang.Object(Nats.Nats(EOC, o1425:0))) :|: TRUE f1790_1_minus_InvokeMethod(f3907_0_minus_Return(EOS(STATIC_3907), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))), java.lang.Object(Nats.Nats(EOC, o1326:0))), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL))))))) -> f4002_0_minus_Return(EOS(STATIC_4002), java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, java.lang.Object(Nats.Nats(EOC, NULL)))))), java.lang.Object(Nats.Nats(EOC, o1326:0))) :|: TRUE Filtered ground terms: f1571_0_div_InvokeMethod(x1, x2, x3, x4) -> f1571_0_div_InvokeMethod(x2, x3, x4) f5079_0_minus_Load(x1, x2, x3, x4) -> f5079_0_minus_Load(x2, x3, x4) f3180_0_minus_Return(x1, x2, x3) -> f3180_0_minus_Return f3907_0_minus_Return(x1, x2, x3) -> f3907_0_minus_Return(x3) f3225_0_minus_Return(x1, x2, x3) -> f3225_0_minus_Return(x2) f3175_0_minus_Return(x1, x2, x3) -> f3175_0_minus_Return(x2) f4271_0_minus_Return(x1, x2, x3) -> f4271_0_minus_Return(x3) f4002_0_minus_Return(x1, x2, x3) -> f4002_0_minus_Return(x2, x3) Nats.Nats(x1, x2) -> Nats.Nats(x2) f3680_0_div_Return(x1) -> f3680_0_div_Return f4483_0_div_Return(x1) -> f4483_0_div_Return f1662_0_div_Return(x1) -> f1662_0_div_Return f1623_0_div_Return(x1) -> f1623_0_div_Return f1678_0_isZero_NONNULL(x1, x2, x3, x4, x5) -> f1678_0_isZero_NONNULL(x2, x3, x4, x5) f1709_1_minus_InvokeMethod(x1, x2) -> f1709_1_minus_InvokeMethod(x1) f1744_0_copy_NONNULL(x1, x2, x3) -> f1744_0_copy_NONNULL(x2, x3) f1808_0_copy_Return(x1, x2) -> f1808_0_copy_Return f3594_0_copy_Return(x1, x2) -> f3594_0_copy_Return f4460_0_copy_Return(x1, x2) -> f4460_0_copy_Return(x2) Filtered duplicate args: f1571_0_div_InvokeMethod(x1, x2, x3) -> f1571_0_div_InvokeMethod(x1, x3) f5079_0_minus_Load(x1, x2, x3) -> f5079_0_minus_Load(x2, x3) f1678_0_isZero_NONNULL(x1, x2, x3, x4) -> f1678_0_isZero_NONNULL(x2, x3) f1744_0_copy_NONNULL(x1, x2) -> f1744_0_copy_NONNULL(x1) Combined rules. Obtained 7 conditional rules for P and 0 conditional rules for R.P rules: F1631_1_DIV_INVOKEMETHOD(f3907_0_minus_Return(java.lang.Object(Nats.Nats(o1320:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(o1320:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))))) :|: TRUE F1631_1_DIV_INVOKEMETHOD(f4271_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1617:0:0))))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1617:0:0)))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) :|: TRUE F1631_1_DIV_INVOKEMETHOD(f3175_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))))) :|: TRUE F1631_1_DIV_INVOKEMETHOD(f3225_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))))) :|: TRUE F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(o252sub:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(o239sub:0:0)))) -> F1631_1_DIV_INVOKEMETHOD(f5079_0_minus_Load(java.lang.Object(o252sub:0:0), java.lang.Object(o239sub:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(o239sub:0:0)))) :|: TRUE F1631_1_DIV_INVOKEMETHOD(f3180_0_minus_Return, java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) :|: TRUE F1631_1_DIV_INVOKEMETHOD(f4002_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0)))))), java.lang.Object(Nats.Nats(o1417:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0))))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(o1417:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0))))))))) :|: TRUE R rules: ---------------------------------------- (19) Obligation: Q DP problem: The TRS P consists of the following rules: F1631_1_DIV_INVOKEMETHOD(f3907_0_minus_Return(java.lang.Object(Nats.Nats(o1320:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(o1320:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))))) F1631_1_DIV_INVOKEMETHOD(f4271_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1617:0:0))))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1617:0:0)))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) F1631_1_DIV_INVOKEMETHOD(f3175_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o702sub:0:0)))))) F1631_1_DIV_INVOKEMETHOD(f3225_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(o730sub:0:0)))))))) F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(java.lang.Object(o252sub:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(o239sub:0:0)))) -> F1631_1_DIV_INVOKEMETHOD(f5079_0_minus_Load(java.lang.Object(o252sub:0:0), java.lang.Object(o239sub:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(o239sub:0:0)))) F1631_1_DIV_INVOKEMETHOD(f3180_0_minus_Return, java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(NULL)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(NULL))))) F1631_1_DIV_INVOKEMETHOD(f4002_0_minus_Return(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0)))))), java.lang.Object(Nats.Nats(o1417:0:0))), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0))))))))) -> F1571_0_DIV_INVOKEMETHOD(java.lang.Object(Nats.Nats(o1417:0:0)), java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(java.lang.Object(Nats.Nats(o1419:0:0))))))))) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (20) DependencyGraphProof (EQUIVALENT) The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 7 less nodes. ---------------------------------------- (21) TRUE ---------------------------------------- (22) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Nats.Nats.(I)V SCC calls the following helper methods: Nats.Nats.(I)V Performed SCC analyses: *Used field analysis yielded the following read fields: *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (23) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 15 IRulesP rules: f93_0__init__InvokeMethod(EOS(STATIC_93), i13, i13) -> f108_0__init__Load(EOS(STATIC_108), i13, i13) :|: TRUE f108_0__init__Load(EOS(STATIC_108), i13, i13) -> f113_0__init__GT(EOS(STATIC_113), i13, i13, i13) :|: TRUE f113_0__init__GT(EOS(STATIC_113), i17, i17, i17) -> f117_0__init__GT(EOS(STATIC_117), i17, i17, i17) :|: TRUE f117_0__init__GT(EOS(STATIC_117), i17, i17, i17) -> f129_0__init__Load(EOS(STATIC_129), i17, i17) :|: i17 > 0 f129_0__init__Load(EOS(STATIC_129), i17, i17) -> f143_0__init__New(EOS(STATIC_143), i17, i17) :|: TRUE f143_0__init__New(EOS(STATIC_143), i17, i17) -> f153_0__init__Duplicate(EOS(STATIC_153), i17, i17) :|: TRUE f153_0__init__Duplicate(EOS(STATIC_153), i17, i17) -> f163_0__init__Load(EOS(STATIC_163), i17, i17) :|: TRUE f163_0__init__Load(EOS(STATIC_163), i17, i17) -> f172_0__init__ConstantStackPush(EOS(STATIC_172), i17, i17) :|: TRUE f172_0__init__ConstantStackPush(EOS(STATIC_172), i17, i17) -> f187_0__init__IntArithmetic(EOS(STATIC_187), i17, i17, 1) :|: TRUE f187_0__init__IntArithmetic(EOS(STATIC_187), i17, i17, matching1) -> f238_0__init__InvokeMethod(EOS(STATIC_238), i17, i17 - 1) :|: i17 > 0 && matching1 = 1 f238_0__init__InvokeMethod(EOS(STATIC_238), i17, i29) -> f245_0__init__Load(EOS(STATIC_245), i29, i29) :|: i17 >= 1 && i29 < i17 f238_0__init__InvokeMethod(EOS(STATIC_238), i17, i29) -> f245_1__init__Load(EOS(STATIC_245), i17, i29) :|: i17 >= 1 && i29 < i17 f245_0__init__Load(EOS(STATIC_245), i29, i29) -> f254_0__init__Load(EOS(STATIC_254), i29, i29) :|: TRUE f254_0__init__Load(EOS(STATIC_254), i29, i29) -> f90_0__init__Load(EOS(STATIC_90), i29, i29) :|: TRUE f90_0__init__Load(EOS(STATIC_90), i13, i13) -> f93_0__init__InvokeMethod(EOS(STATIC_93), i13, i13) :|: TRUE Combined rules. Obtained 2 IRulesP rules: f93_0__init__InvokeMethod(EOS(STATIC_93), i13:0, i13:0) -> f93_0__init__InvokeMethod(EOS(STATIC_93), i13:0 - 1, i13:0 - 1) :|: i13:0 > 0 && i13:0 - 1 < i13:0 Removed following non-SCC rules: f93_0__init__InvokeMethod(EOS(STATIC_93), i13:0, i13:0) -> f245_1__init__Load(EOS(STATIC_245), i13:0, i13:0 - 1) :|: i13:0 > 0 && i13:0 - 1 < i13:0 Filtered constant ground arguments: f93_0__init__InvokeMethod(x1, x2, x3) -> f93_0__init__InvokeMethod(x2, x3) EOS(x1) -> EOS Filtered duplicate arguments: f93_0__init__InvokeMethod(x1, x2) -> f93_0__init__InvokeMethod(x2) Finished conversion. Obtained 1 rules.P rules: f93_0__init__InvokeMethod(i13:0) -> f93_0__init__InvokeMethod(i13:0 - 1) :|: i13:0 > 0 && i13:0 - 1 < i13:0 ---------------------------------------- (24) Obligation: Rules: f93_0__init__InvokeMethod(i13:0) -> f93_0__init__InvokeMethod(i13:0 - 1) :|: i13:0 > 0 && i13:0 - 1 < i13:0 ---------------------------------------- (25) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (26) Obligation: Rules: f93_0__init__InvokeMethod(i13:0) -> f93_0__init__InvokeMethod(arith) :|: i13:0 > 0 && i13:0 - 1 < i13:0 && arith = i13:0 - 1 ---------------------------------------- (27) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f93_0__init__InvokeMethod(i13:0) -> f93_0__init__InvokeMethod(arith) :|: i13:0 > 0 && i13:0 - 1 < i13:0 && arith = i13:0 - 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (28) Obligation: Termination digraph: Nodes: (1) f93_0__init__InvokeMethod(i13:0) -> f93_0__init__InvokeMethod(arith) :|: i13:0 > 0 && i13:0 - 1 < i13:0 && arith = i13:0 - 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (29) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (30) Obligation: Rules: f93_0__init__InvokeMethod(i13:0:0) -> f93_0__init__InvokeMethod(i13:0:0 - 1) :|: i13:0:0 > 0 && i13:0:0 - 1 < i13:0:0 ---------------------------------------- (31) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f93_0__init__InvokeMethod(INTEGER) Replaced non-predefined constructor symbols by 0. ---------------------------------------- (32) Obligation: Rules: f93_0__init__InvokeMethod(i13:0:0) -> f93_0__init__InvokeMethod(c) :|: c = i13:0:0 - 1 && (i13:0:0 > 0 && i13:0:0 - 1 < i13:0:0) ---------------------------------------- (33) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f93_0__init__InvokeMethod ] = f93_0__init__InvokeMethod_1 The following rules are decreasing: f93_0__init__InvokeMethod(i13:0:0) -> f93_0__init__InvokeMethod(c) :|: c = i13:0:0 - 1 && (i13:0:0 > 0 && i13:0:0 - 1 < i13:0:0) The following rules are bounded: f93_0__init__InvokeMethod(i13:0:0) -> f93_0__init__InvokeMethod(c) :|: c = i13:0:0 - 1 && (i13:0:0 > 0 && i13:0:0 - 1 < i13:0:0) ---------------------------------------- (34) YES