0 JBC
↳1 JBC2FIG (⇐)
↳2 FIGraph
↳3 FIGtoITRSProof (⇐)
↳4 AND
↳5 ITRS
↳6 DuplicateArgsRemoverProof (⇔)
↳7 ITRS
↳8 ITRStoIDPProof (⇔)
↳9 IDP
↳10 UsableRulesProof (⇔)
↳11 IDP
↳12 ItpfGraphProof (⇔)
↳13 IDP
↳14 IDPtoQDPProof (⇐)
↳15 QDP
↳16 UsableRulesProof (⇔)
↳17 QDP
↳18 QReductionProof (⇔)
↳19 QDP
↳20 QDPOrderProof (⇔)
↳21 QDP
↳22 DependencyGraphProof (⇔)
↳23 QDP
↳24 UsableRulesProof (⇔)
↳25 QDP
↳26 QReductionProof (⇔)
↳27 QDP
↳28 QDPOrderProof (⇔)
↳29 QDP
↳30 DependencyGraphProof (⇔)
↳31 AND
↳32 QDP
↳33 QDPOrderProof (⇔)
↳34 QDP
↳35 QDPOrderProof (⇔)
↳36 QDP
↳37 DependencyGraphProof (⇔)
↳38 TRUE
↳39 QDP
↳40 QDPOrderProof (⇔)
↳41 QDP
↳42 QDPOrderProof (⇔)
↳43 QDP
↳44 DependencyGraphProof (⇔)
↳45 TRUE
↳46 ITRS
↳47 DuplicateArgsRemoverProof (⇔)
↳48 ITRS
↳49 ITRSFilterProcessorProof (⇐)
↳50 ITRS
↳51 ITRSFSMergerProof (⇐)
↳52 ITRS
↳53 ITRStoIDPProof (⇔)
↳54 IDP
↳55 UsableRulesProof (⇔)
↳56 IDP
↳57 ItpfGraphProof (⇔)
↳58 IDP
↳59 IDPNonInfProof (⇐)
↳60 AND
↳61 IDP
↳62 IDependencyGraphProof (⇔)
↳63 TRUE
↳64 IDP
↳65 IDependencyGraphProof (⇔)
↳66 TRUE
No human-readable program information known.
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Store26568(x1, x2, x3, x4, x5, x6, x7) → Store26568(x3, x4, x5, x6, x7)
Load22061(x1, x2, x3, x4, x5, x6) → Load22061(x3, x4, x5, x6)
NULL1315(x1, x2, x3, x4) → NULL1315(x1, x3, x4)
Load21911(x1, x2, x3, x4, x5, x6) → Load21911(x1, x3, x4, x5, x6)
Store26273(x1, x2, x3, x4, x5, x6, x7) → Store26273(x1, x3, x4, x5, x6, x7)
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Integer
(0) -> (1), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])))∧(o831[0] →* o859[1])∧(i130[0] →* i141[1]))
(0) -> (11), if ((o831[0] →* o859[11])∧(o830[0] →* java.lang.Object(Tree(NULL, o944[11], o945[11])))∧(i130[0] →* i141[11]))
(0) -> (12), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])))∧(i130[0] →* i141[12])∧(o831[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))))
(0) -> (17), if ((i130[0] →* i141[17])∧(o830[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17])))∧(o831[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17]))))
(1) -> (3), if ((i141[1] →* i141[3])∧(NULL →* o16604[3])∧(o859[1] →* o16609[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3]))))
(1) -> (4), if ((java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(NULL →* o16604[4])∧(o859[1] →* o16609[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(i141[1] →* i141[4]))
(1) -> (5), if ((i141[1] →* i141[5])∧(o859[1] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(NULL →* o16604[5]))
(1) -> (6), if ((NULL →* o16604[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(o859[1] →* o16609[6])∧(i141[1] →* i141[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6]))))
(1) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(o859[1] →* o16609[9])∧(NULL →* o16604[9])∧(i141[1] →* i141[9]))
(2) -> (3), if ((o16609[2] →* o16609[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])))∧(i141[2] →* i141[3])∧(o16604[2] →* o16604[3]))
(2) -> (4), if ((o16604[2] →* o16604[4])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(o16609[2] →* o16609[4])∧(i141[2] →* i141[4]))
(2) -> (5), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o16609[2] →* o16609[5])∧(o16604[2] →* o16604[5])∧(i141[2] →* i141[5])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(2) -> (6), if ((o16609[2] →* o16609[6])∧(o16604[2] →* o16604[6])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(i141[2] →* i141[6]))
(2) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(o16609[2] →* o16609[9])∧(i141[2] →* i141[9])∧(o16604[2] →* o16604[9])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* NULL))
(3) -> (3), if ((java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3]', o18622[3]', o18623[3]')), o17126[3]', o17127[3]')))∧(o16609[3] →* o16609[3]')∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3]', o16606Field1[3]', o16606Field2[3]')), o16607[3]', o16608[3]')))∧(i141[3] →* i141[3]')∧(o16604[3] →* o16604[3]'))
(3) -> (4), if ((o16609[3] →* o16609[4])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(i141[3] →* i141[4])∧(o16604[3] →* o16604[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4]))))
(3) -> (5), if ((o16604[3] →* o16604[5])∧(i141[3] →* i141[5])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o16609[3] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(3) -> (6), if ((o16609[3] →* o16609[6])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(i141[3] →* i141[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(o16604[3] →* o16604[6]))
(3) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* NULL)∧(o16604[3] →* o16604[9])∧(o16609[3] →* o16609[9])∧(i141[3] →* i141[9]))
(4) -> (3), if ((i141[4] →* i141[3])∧(o16609[4] →* o16609[3])∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3]))))
(4) -> (4), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4]', o16606Field1[4]', o16606Field2[4]')), o16607[4]', o16608[4]')))∧(o17126[4] →* java.lang.Object(Tree(NULL, o17126[4]', o17127[4]')))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[4]')∧(i141[4] →* i141[4]')∧(o16609[4] →* o16609[4]'))
(4) -> (5), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[5])∧(i141[4] →* i141[5])∧(o16609[4] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(4) -> (6), if ((i141[4] →* i141[6])∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[6])∧(o16609[4] →* o16609[6]))
(4) -> (9), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[9])∧(o17126[4] →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(i141[4] →* i141[9])∧(o16609[4] →* o16609[9]))
(5) -> (3), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])))∧(o16609[5] →* o16609[3])∧(o16604[5] →* o16604[3])∧(i141[5] →* i141[3]))
(5) -> (4), if ((i141[5] →* i141[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(o16609[5] →* o16609[4])∧(o16604[5] →* o16604[4])∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4]))))
(5) -> (5), if ((o16609[5] →* o16609[5]')∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5]', o17787[5]', o17788[5]')), o16607[5]', o16608[5]')))∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5]', o17787[5]', o17788[5]')), o16607[5]', o16608[5]')))∧(i141[5] →* i141[5]')∧(o16604[5] →* o16604[5]'))
(5) -> (6), if ((o16609[5] →* o16609[6])∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(i141[5] →* i141[6])∧(o16604[5] →* o16604[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6]))))
(5) -> (9), if ((o16604[5] →* o16604[9])∧(o16609[5] →* o16609[9])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* NULL)∧(i141[5] →* i141[9]))
(6) -> (2), if ((o16609[6] →* o16609[2])∧(java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])))∧(o16604[6] →* o16604[2])∧(i141[6] →* i141[2])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])))∧(o19480[6] →* o18621[2]))
(7) -> (8), if ((o16669[7] →* o16604[8])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])) →* o16609[8])∧(i141[7] →* i141[8]))
(8) -> (0), if ((o16604[8] →* o830[0])∧(o16609[8] →* o831[0])∧(i141[8] →* i130[0]))
(9) -> (0), if ((o16604[9] →* o830[0])∧(o16609[9] →* o831[0])∧(i141[9] →* i130[0]))
(10) -> (0), if ((i184[10] →* i130[0])∧(o944[10] →* o830[0])∧(o859[10] →* o831[0]))
(11) -> (0), if ((i141[11] + 1 →* i130[0])∧(o944[11] →* o830[0])∧(o859[11] →* o831[0]))
(12) -> (7), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* NULL)∧(NULL →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(i141[12] →* i141[7]))
(12) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(NULL →* o16669[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])))∧(i141[12] →* i141[14]))
(12) -> (15), if ((NULL →* o16669[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(i141[12] →* i141[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(12) -> (16), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[12] →* i141[16])∧(NULL →* o16669[16]))
(12) -> (18), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(i141[12] →* i141[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(NULL →* o16669[18]))
(13) -> (7), if ((o16669[13] →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* NULL)∧(i141[13] →* i141[7]))
(13) -> (14), if ((i141[13] →* i141[14])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(o16669[13] →* o16669[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14]))))
(13) -> (15), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(o16669[13] →* o16669[15])∧(i141[13] →* i141[15])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(13) -> (16), if ((java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[13] →* i141[16])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(o16669[13] →* o16669[16]))
(13) -> (18), if ((i141[13] →* i141[18])∧(o16669[13] →* o16669[18])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18]))))
(14) -> (7), if ((o16669[14] →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* NULL)∧(i141[14] →* i141[7]))
(14) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14]', o16671Field1[14]', o16671Field2[14]')), o16672[14]', o16673[14]')))∧(o16669[14] →* o16669[14]')∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14]', o18774[14]', o18775[14]')), o17144[14]', o17145[14]')))∧(i141[14] →* i141[14]'))
(14) -> (15), if ((o16669[14] →* o16669[15])∧(i141[14] →* i141[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(14) -> (16), if ((o16669[14] →* o16669[16])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[14] →* i141[16]))
(14) -> (18), if ((i141[14] →* i141[18])∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(o16669[14] →* o16669[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18]))))
(15) -> (7), if ((o17144[15] →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[7])∧(i141[15] →* i141[7]))
(15) -> (14), if ((o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[14])∧(i141[15] →* i141[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14]))))
(15) -> (15), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15]', o16671Field1[15]', o16671Field2[15]')), o16672[15]', o16673[15]')))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[15]')∧(o17144[15] →* java.lang.Object(Tree(NULL, o17144[15]', o17145[15]')))∧(i141[15] →* i141[15]'))
(15) -> (16), if ((java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[16])∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[15] →* i141[16]))
(15) -> (18), if ((i141[15] →* i141[18])∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18]))))
(16) -> (7), if ((java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* NULL)∧(i141[16] →* i141[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(o16669[16] →* o16669[7]))
(16) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])))∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(o16669[16] →* o16669[14])∧(i141[16] →* i141[14]))
(16) -> (15), if ((i141[16] →* i141[15])∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15])))∧(o16669[16] →* o16669[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15]))))
(16) -> (16), if ((java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16]', o17891[16]', o17892[16]')), o16672[16]', o16673[16]')))∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16]', o17891[16]', o17892[16]')), o16672[16]', o16673[16]')))∧(o16669[16] →* o16669[16]')∧(i141[16] →* i141[16]'))
(16) -> (18), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(i141[16] →* i141[18])∧(o16669[16] →* o16669[18]))
(17) -> (10), if ((java.lang.Object(Tree(NULL, o949[17], o950[17])) →* o859[10])∧(o949[17] →* o944[10])∧(i141[17] + 1 →* i184[10]))
(18) -> (13), if ((o19695[18] →* o18773[13])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])))∧(i141[18] →* i141[13])∧(o16669[18] →* o16669[13])∧(java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13]))))
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Integer
(0) -> (1), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])))∧(o831[0] →* o859[1])∧(i130[0] →* i141[1]))
(0) -> (11), if ((o831[0] →* o859[11])∧(o830[0] →* java.lang.Object(Tree(NULL, o944[11], o945[11])))∧(i130[0] →* i141[11]))
(0) -> (12), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])))∧(i130[0] →* i141[12])∧(o831[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))))
(0) -> (17), if ((i130[0] →* i141[17])∧(o830[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17])))∧(o831[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17]))))
(1) -> (3), if ((i141[1] →* i141[3])∧(NULL →* o16604[3])∧(o859[1] →* o16609[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3]))))
(1) -> (4), if ((java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(NULL →* o16604[4])∧(o859[1] →* o16609[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(i141[1] →* i141[4]))
(1) -> (5), if ((i141[1] →* i141[5])∧(o859[1] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(NULL →* o16604[5]))
(1) -> (6), if ((NULL →* o16604[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(o859[1] →* o16609[6])∧(i141[1] →* i141[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6]))))
(1) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(o859[1] →* o16609[9])∧(NULL →* o16604[9])∧(i141[1] →* i141[9]))
(2) -> (3), if ((o16609[2] →* o16609[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])))∧(i141[2] →* i141[3])∧(o16604[2] →* o16604[3]))
(2) -> (4), if ((o16604[2] →* o16604[4])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(o16609[2] →* o16609[4])∧(i141[2] →* i141[4]))
(2) -> (5), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o16609[2] →* o16609[5])∧(o16604[2] →* o16604[5])∧(i141[2] →* i141[5])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(2) -> (6), if ((o16609[2] →* o16609[6])∧(o16604[2] →* o16604[6])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(i141[2] →* i141[6]))
(2) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(o16609[2] →* o16609[9])∧(i141[2] →* i141[9])∧(o16604[2] →* o16604[9])∧(java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)) →* NULL))
(3) -> (3), if ((java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3]', o18622[3]', o18623[3]')), o17126[3]', o17127[3]')))∧(o16609[3] →* o16609[3]')∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3]', o16606Field1[3]', o16606Field2[3]')), o16607[3]', o16608[3]')))∧(i141[3] →* i141[3]')∧(o16604[3] →* o16604[3]'))
(3) -> (4), if ((o16609[3] →* o16609[4])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4])))∧(i141[3] →* i141[4])∧(o16604[3] →* o16604[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4]))))
(3) -> (5), if ((o16604[3] →* o16604[5])∧(i141[3] →* i141[5])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o16609[3] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(3) -> (6), if ((o16609[3] →* o16609[6])∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(i141[3] →* i141[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(o16604[3] →* o16604[6]))
(3) -> (9), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)) →* NULL)∧(o16604[3] →* o16604[9])∧(o16609[3] →* o16609[9])∧(i141[3] →* i141[9]))
(4) -> (3), if ((i141[4] →* i141[3])∧(o16609[4] →* o16609[3])∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[3])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3]))))
(4) -> (4), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4]', o16606Field1[4]', o16606Field2[4]')), o16607[4]', o16608[4]')))∧(o17126[4] →* java.lang.Object(Tree(NULL, o17126[4]', o17127[4]')))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[4]')∧(i141[4] →* i141[4]')∧(o16609[4] →* o16609[4]'))
(4) -> (5), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[5])∧(i141[4] →* i141[5])∧(o16609[4] →* o16609[5])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(4) -> (6), if ((i141[4] →* i141[6])∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[6])∧(o16609[4] →* o16609[6]))
(4) -> (9), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[9])∧(o17126[4] →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(i141[4] →* i141[9])∧(o16609[4] →* o16609[9]))
(5) -> (3), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])))∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])))∧(o16609[5] →* o16609[3])∧(o16604[5] →* o16604[3])∧(i141[5] →* i141[3]))
(5) -> (4), if ((i141[5] →* i141[4])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])))∧(o16609[5] →* o16609[4])∧(o16604[5] →* o16604[4])∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17126[4], o17127[4]))))
(5) -> (5), if ((o16609[5] →* o16609[5]')∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5]', o17787[5]', o17788[5]')), o16607[5]', o16608[5]')))∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5]', o17787[5]', o17788[5]')), o16607[5]', o16608[5]')))∧(i141[5] →* i141[5]')∧(o16604[5] →* o16604[5]'))
(5) -> (6), if ((o16609[5] →* o16609[6])∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧(i141[5] →* i141[6])∧(o16604[5] →* o16604[6])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6]))))
(5) -> (9), if ((o16604[5] →* o16604[9])∧(o16609[5] →* o16609[9])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])))∧(java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)) →* NULL)∧(i141[5] →* i141[9]))
(6) -> (2), if ((o16609[6] →* o16609[2])∧(java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])))∧(o16604[6] →* o16604[2])∧(i141[6] →* i141[2])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])))∧(o19480[6] →* o18621[2]))
(7) -> (8), if ((o16669[7] →* o16604[8])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])) →* o16609[8])∧(i141[7] →* i141[8]))
(8) -> (0), if ((o16604[8] →* o830[0])∧(o16609[8] →* o831[0])∧(i141[8] →* i130[0]))
(9) -> (0), if ((o16604[9] →* o830[0])∧(o16609[9] →* o831[0])∧(i141[9] →* i130[0]))
(10) -> (0), if ((i184[10] →* i130[0])∧(o944[10] →* o830[0])∧(o859[10] →* o831[0]))
(11) -> (0), if ((i141[11] + 1 →* i130[0])∧(o944[11] →* o830[0])∧(o859[11] →* o831[0]))
(12) -> (7), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* NULL)∧(NULL →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(i141[12] →* i141[7]))
(12) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(NULL →* o16669[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])))∧(i141[12] →* i141[14]))
(12) -> (15), if ((NULL →* o16669[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(i141[12] →* i141[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(12) -> (16), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[12] →* i141[16])∧(NULL →* o16669[16]))
(12) -> (18), if ((java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(i141[12] →* i141[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(NULL →* o16669[18]))
(13) -> (7), if ((o16669[13] →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* NULL)∧(i141[13] →* i141[7]))
(13) -> (14), if ((i141[13] →* i141[14])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(o16669[13] →* o16669[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14]))))
(13) -> (15), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(o16669[13] →* o16669[15])∧(i141[13] →* i141[15])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(13) -> (16), if ((java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[13] →* i141[16])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(o16669[13] →* o16669[16]))
(13) -> (18), if ((i141[13] →* i141[18])∧(o16669[13] →* o16669[18])∧(java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18]))))
(14) -> (7), if ((o16669[14] →* o16669[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* NULL)∧(i141[14] →* i141[7]))
(14) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14]', o16671Field1[14]', o16671Field2[14]')), o16672[14]', o16673[14]')))∧(o16669[14] →* o16669[14]')∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14]', o18774[14]', o18775[14]')), o17144[14]', o17145[14]')))∧(i141[14] →* i141[14]'))
(14) -> (15), if ((o16669[14] →* o16669[15])∧(i141[14] →* i141[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15]))))
(14) -> (16), if ((o16669[14] →* o16669[16])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[14] →* i141[16]))
(14) -> (18), if ((i141[14] →* i141[18])∧(java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(o16669[14] →* o16669[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18]))))
(15) -> (7), if ((o17144[15] →* NULL)∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[7])∧(i141[15] →* i141[7]))
(15) -> (14), if ((o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[14])∧(i141[15] →* i141[14])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14]))))
(15) -> (15), if ((java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15]', o16671Field1[15]', o16671Field2[15]')), o16672[15]', o16673[15]')))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[15]')∧(o17144[15] →* java.lang.Object(Tree(NULL, o17144[15]', o17145[15]')))∧(i141[15] →* i141[15]'))
(15) -> (16), if ((java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[16])∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧(i141[15] →* i141[16]))
(15) -> (18), if ((i141[15] →* i141[18])∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[18])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18]))))
(16) -> (7), if ((java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* NULL)∧(i141[16] →* i141[7])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])))∧(o16669[16] →* o16669[7]))
(16) -> (14), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])))∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(o16669[16] →* o16669[14])∧(i141[16] →* i141[14]))
(16) -> (15), if ((i141[16] →* i141[15])∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(NULL, o17144[15], o17145[15])))∧(o16669[16] →* o16669[15])∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15]))))
(16) -> (16), if ((java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16]', o17891[16]', o17892[16]')), o16672[16]', o16673[16]')))∧(java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16]', o17891[16]', o17892[16]')), o16672[16]', o16673[16]')))∧(o16669[16] →* o16669[16]')∧(i141[16] →* i141[16]'))
(16) -> (18), if ((java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])))∧(java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)) →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])))∧(i141[16] →* i141[18])∧(o16669[16] →* o16669[18]))
(17) -> (10), if ((java.lang.Object(Tree(NULL, o949[17], o950[17])) →* o859[10])∧(o949[17] →* o944[10])∧(i141[17] + 1 →* i184[10]))
(18) -> (13), if ((o19695[18] →* o18773[13])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])) →* java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])))∧(i141[18] →* i141[13])∧(o16669[18] →* o16669[13])∧(java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])) →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13]))))
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Integer
(0) -> (1), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])))∧(o831[0] →* o859[1])∧(i130[0] →* i141[1]))
(0) -> (11), if ((o831[0] →* o859[11])∧(o830[0] →* java.lang.Object(Tree(NULL, o944[11], o945[11])))∧(i130[0] →* i141[11]))
(0) -> (12), if ((o830[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])))∧(i130[0] →* i141[12])∧(o831[0] →* java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))))
(0) -> (17), if ((i130[0] →* i141[17])∧(o830[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17])))∧(o831[0] →* java.lang.Object(Tree(NULL, o949[17], o950[17]))))
(7) -> (8), if ((o16669[7] →* o16604[8])∧(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])) →* o16609[8])∧(i141[7] →* i141[8]))
(8) -> (0), if ((o16604[8] →* o830[0])∧(o16609[8] →* o831[0])∧(i141[8] →* i130[0]))
(9) -> (0), if ((o16604[9] →* o830[0])∧(o16609[9] →* o831[0])∧(i141[9] →* i130[0]))
(10) -> (0), if ((i184[10] →* i130[0])∧(o944[10] →* o830[0])∧(o859[10] →* o831[0]))
(11) -> (0), if ((i141[11] + 1 →* i130[0])∧(o944[11] →* o830[0])∧(o859[11] →* o831[0]))
(17) -> (10), if ((java.lang.Object(Tree(NULL, o949[17], o950[17])) →* o859[10])∧(o949[17] →* o944[10])∧(i141[17] + 1 →* i184[10]))
(1) -> (3), if ((i141[1] →* i141[3])∧(NULL →* o16604[3])∧(o859[1] →* o16609[3])∧((o996Field0[1] →* o16606Field0[3])∧(o996Field1[1] →* o16606Field1[3])∧(o996Field2[1] →* o16606Field2[3])∧(o944[1] →* o16607[3])∧(o945[1] →* o16608[3]))∧((o996Field0[1] →* o18621[3])∧(o996Field1[1] →* o18622[3])∧(o996Field2[1] →* o18623[3])∧(o944[1] →* o17126[3])∧(o945[1] →* o17127[3])))
(1) -> (4), if (false∧(NULL →* o16604[4])∧(o859[1] →* o16609[4])∧((o996Field0[1] →* o16606Field0[4])∧(o996Field1[1] →* o16606Field1[4])∧(o996Field2[1] →* o16606Field2[4])∧(o944[1] →* o16607[4])∧(o945[1] →* o16608[4]))∧(i141[1] →* i141[4]))
(1) -> (5), if ((i141[1] →* i141[5])∧(o859[1] →* o16609[5])∧((o996Field0[1] →* o17786[5])∧(o996Field1[1] →* o17787[5])∧(o996Field2[1] →* o17788[5])∧(o944[1] →* o16607[5])∧(o945[1] →* o16608[5]))∧(NULL →* o16604[5]))
(1) -> (6), if ((NULL →* o16604[6])∧((o996Field0[1] →* o19480[6])∧(o996Field1[1] →* o19481[6])∧(o996Field2[1] →* o19482[6])∧(o944[1] →* o17126[6])∧(o945[1] →* o17127[6]))∧(o859[1] →* o16609[6])∧(i141[1] →* i141[6])∧((o996Field0[1] →* o16606Field0[6])∧(o996Field1[1] →* o16606Field1[6])∧(o996Field2[1] →* o16606Field2[6])∧(o944[1] →* o16607[6])∧(o945[1] →* o16608[6])))
(1) -> (9), if (false∧((o996Field0[1] →* o16606Field0[9])∧(o996Field1[1] →* o16606Field1[9])∧(o996Field2[1] →* o16606Field2[9])∧(o944[1] →* o16607[9])∧(o945[1] →* o16608[9]))∧(o859[1] →* o16609[9])∧(NULL →* o16604[9])∧(i141[1] →* i141[9]))
(2) -> (3), if ((o16609[2] →* o16609[3])∧((o16606Field0[2] →* o16606Field0[3])∧(o16606Field1[2] →* o16606Field1[3])∧(o16606Field2[2] →* o16606Field2[3])∧(o16607[2] →* o16607[3])∧(o16608[2] →* o16608[3]))∧((o18621[2] →* java.lang.Object(Tree(o18621[3], o18622[3], o18623[3]))))∧(i141[2] →* i141[3])∧(o16604[2] →* o16604[3]))
(2) -> (4), if ((o16604[2] →* o16604[4])∧((o18621[2] →* NULL))∧((o16606Field0[2] →* o16606Field0[4])∧(o16606Field1[2] →* o16606Field1[4])∧(o16606Field2[2] →* o16606Field2[4])∧(o16607[2] →* o16607[4])∧(o16608[2] →* o16608[4]))∧(o16609[2] →* o16609[4])∧(i141[2] →* i141[4]))
(2) -> (5), if (((o16606Field0[2] →* o17786[5])∧(o16606Field1[2] →* o17787[5])∧(o16606Field2[2] →* o17788[5])∧(o16607[2] →* o16607[5])∧(o16608[2] →* o16608[5]))∧(o16609[2] →* o16609[5])∧(o16604[2] →* o16604[5])∧(i141[2] →* i141[5])∧((o18621[2] →* java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])))))
(2) -> (6), if ((o16609[2] →* o16609[6])∧(o16604[2] →* o16604[6])∧((o18621[2] →* java.lang.Object(Tree(o19480[6], o19481[6], o19482[6]))))∧((o16606Field0[2] →* o16606Field0[6])∧(o16606Field1[2] →* o16606Field1[6])∧(o16606Field2[2] →* o16606Field2[6])∧(o16607[2] →* o16607[6])∧(o16608[2] →* o16608[6]))∧(i141[2] →* i141[6]))
(2) -> (9), if (((o16606Field0[2] →* o16606Field0[9])∧(o16606Field1[2] →* o16606Field1[9])∧(o16606Field2[2] →* o16606Field2[9])∧(o16607[2] →* o16607[9])∧(o16608[2] →* o16608[9]))∧(o16609[2] →* o16609[9])∧(i141[2] →* i141[9])∧(o16604[2] →* o16604[9])∧false)
(3) -> (3), if (((o18621[3] →* java.lang.Object(Tree(o18621[3]', o18622[3]', o18623[3]'))))∧(o16609[3] →* o16609[3]')∧((o16606Field0[3] →* o16606Field0[3]')∧(o16606Field1[3] →* o16606Field1[3]')∧(o16606Field2[3] →* o16606Field2[3]')∧(o16607[3] →* o16607[3]')∧(o16608[3] →* o16608[3]'))∧(i141[3] →* i141[3]')∧(o16604[3] →* o16604[3]'))
(3) -> (4), if ((o16609[3] →* o16609[4])∧((o18621[3] →* NULL))∧(i141[3] →* i141[4])∧(o16604[3] →* o16604[4])∧((o16606Field0[3] →* o16606Field0[4])∧(o16606Field1[3] →* o16606Field1[4])∧(o16606Field2[3] →* o16606Field2[4])∧(o16607[3] →* o16607[4])∧(o16608[3] →* o16608[4])))
(3) -> (5), if ((o16604[3] →* o16604[5])∧(i141[3] →* i141[5])∧((o18621[3] →* java.lang.Object(Tree(o17786[5], o17787[5], o17788[5]))))∧(o16609[3] →* o16609[5])∧((o16606Field0[3] →* o17786[5])∧(o16606Field1[3] →* o17787[5])∧(o16606Field2[3] →* o17788[5])∧(o16607[3] →* o16607[5])∧(o16608[3] →* o16608[5])))
(3) -> (6), if ((o16609[3] →* o16609[6])∧((o18621[3] →* java.lang.Object(Tree(o19480[6], o19481[6], o19482[6]))))∧(i141[3] →* i141[6])∧((o16606Field0[3] →* o16606Field0[6])∧(o16606Field1[3] →* o16606Field1[6])∧(o16606Field2[3] →* o16606Field2[6])∧(o16607[3] →* o16607[6])∧(o16608[3] →* o16608[6]))∧(o16604[3] →* o16604[6]))
(3) -> (9), if (((o16606Field0[3] →* o16606Field0[9])∧(o16606Field1[3] →* o16606Field1[9])∧(o16606Field2[3] →* o16606Field2[9])∧(o16607[3] →* o16607[9])∧(o16608[3] →* o16608[9]))∧false∧(o16604[3] →* o16604[9])∧(o16609[3] →* o16609[9])∧(i141[3] →* i141[9]))
(4) -> (3), if ((i141[4] →* i141[3])∧(o16609[4] →* o16609[3])∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[3])∧((o16606Field0[4] →* o16606Field0[3])∧(o16606Field1[4] →* o16606Field1[3])∧(o16606Field2[4] →* o16606Field2[3])∧(o16607[4] →* o16607[3])∧(o16608[4] →* o16608[3]))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3]))))
(4) -> (4), if (((o16606Field0[4] →* o16606Field0[4]')∧(o16606Field1[4] →* o16606Field1[4]')∧(o16606Field2[4] →* o16606Field2[4]')∧(o16607[4] →* o16607[4]')∧(o16608[4] →* o16608[4]'))∧(o17126[4] →* java.lang.Object(Tree(NULL, o17126[4]', o17127[4]')))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[4]')∧(i141[4] →* i141[4]')∧(o16609[4] →* o16609[4]'))
(4) -> (5), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[5])∧(i141[4] →* i141[5])∧(o16609[4] →* o16609[5])∧((o16606Field0[4] →* o17786[5])∧(o16606Field1[4] →* o17787[5])∧(o16606Field2[4] →* o17788[5])∧(o16607[4] →* o16607[5])∧(o16608[4] →* o16608[5]))∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5]))))
(4) -> (6), if ((i141[4] →* i141[6])∧(o17126[4] →* java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])))∧((o16606Field0[4] →* o16606Field0[6])∧(o16606Field1[4] →* o16606Field1[6])∧(o16606Field2[4] →* o16606Field2[6])∧(o16607[4] →* o16607[6])∧(o16608[4] →* o16608[6]))∧(java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[6])∧(o16609[4] →* o16609[6]))
(4) -> (9), if ((java.lang.Object(Tree(NULL, o16604[4], NULL)) →* o16604[9])∧(o17126[4] →* NULL)∧((o16606Field0[4] →* o16606Field0[9])∧(o16606Field1[4] →* o16606Field1[9])∧(o16606Field2[4] →* o16606Field2[9])∧(o16607[4] →* o16607[9])∧(o16608[4] →* o16608[9]))∧(i141[4] →* i141[9])∧(o16609[4] →* o16609[9]))
(5) -> (3), if (((o17786[5] →* o16606Field0[3])∧(o17787[5] →* o16606Field1[3])∧(o17788[5] →* o16606Field2[3])∧(o16607[5] →* o16607[3])∧(o16608[5] →* o16608[3]))∧((o17786[5] →* java.lang.Object(Tree(o18621[3], o18622[3], o18623[3]))))∧(o16609[5] →* o16609[3])∧(o16604[5] →* o16604[3])∧(i141[5] →* i141[3]))
(5) -> (4), if ((i141[5] →* i141[4])∧((o17786[5] →* o16606Field0[4])∧(o17787[5] →* o16606Field1[4])∧(o17788[5] →* o16606Field2[4])∧(o16607[5] →* o16607[4])∧(o16608[5] →* o16608[4]))∧(o16609[5] →* o16609[4])∧(o16604[5] →* o16604[4])∧((o17786[5] →* NULL)))
(5) -> (5), if ((o16609[5] →* o16609[5]')∧((o17786[5] →* java.lang.Object(Tree(o17786[5]', o17787[5]', o17788[5]'))))∧((o17786[5] →* o17786[5]')∧(o17787[5] →* o17787[5]')∧(o17788[5] →* o17788[5]')∧(o16607[5] →* o16607[5]')∧(o16608[5] →* o16608[5]'))∧(i141[5] →* i141[5]')∧(o16604[5] →* o16604[5]'))
(5) -> (6), if ((o16609[5] →* o16609[6])∧((o17786[5] →* java.lang.Object(Tree(o19480[6], o19481[6], o19482[6]))))∧(i141[5] →* i141[6])∧(o16604[5] →* o16604[6])∧((o17786[5] →* o16606Field0[6])∧(o17787[5] →* o16606Field1[6])∧(o17788[5] →* o16606Field2[6])∧(o16607[5] →* o16607[6])∧(o16608[5] →* o16608[6])))
(5) -> (9), if ((o16604[5] →* o16604[9])∧(o16609[5] →* o16609[9])∧((o17786[5] →* o16606Field0[9])∧(o17787[5] →* o16606Field1[9])∧(o17788[5] →* o16606Field2[9])∧(o16607[5] →* o16607[9])∧(o16608[5] →* o16608[9]))∧false∧(i141[5] →* i141[9]))
(6) -> (2), if ((o16609[6] →* o16609[2])∧((o19480[6] →* o18621[2])∧(o19481[6] →* o18622[2])∧(o19482[6] →* o18623[2])∧(o17126[6] →* o17126[2])∧(o17127[6] →* o17127[2]))∧(o16604[6] →* o16604[2])∧(i141[6] →* i141[2])∧((o16606Field0[6] →* o16606Field0[2])∧(o16606Field1[6] →* o16606Field1[2])∧(o16606Field2[6] →* o16606Field2[2])∧(o16607[6] →* o16607[2])∧(o16608[6] →* o16608[2]))∧(o19480[6] →* o18621[2]))
(12) -> (7), if (false∧(NULL →* o16669[7])∧((o1010Field0[12] →* o16671Field0[7])∧(o1010Field1[12] →* o16671Field1[7])∧(o1010Field2[12] →* o16671Field2[7])∧(o949[12] →* o16672[7])∧(o950[12] →* o16673[7]))∧(i141[12] →* i141[7]))
(12) -> (14), if (((o1010Field0[12] →* o18773[14])∧(o1010Field1[12] →* o18774[14])∧(o1010Field2[12] →* o18775[14])∧(o949[12] →* o17144[14])∧(o950[12] →* o17145[14]))∧(NULL →* o16669[14])∧((o1010Field0[12] →* o16671Field0[14])∧(o1010Field1[12] →* o16671Field1[14])∧(o1010Field2[12] →* o16671Field2[14])∧(o949[12] →* o16672[14])∧(o950[12] →* o16673[14]))∧(i141[12] →* i141[14]))
(12) -> (15), if ((NULL →* o16669[15])∧((o1010Field0[12] →* o16671Field0[15])∧(o1010Field1[12] →* o16671Field1[15])∧(o1010Field2[12] →* o16671Field2[15])∧(o949[12] →* o16672[15])∧(o950[12] →* o16673[15]))∧(i141[12] →* i141[15])∧false)
(12) -> (16), if (((o1010Field0[12] →* o17890[16])∧(o1010Field1[12] →* o17891[16])∧(o1010Field2[12] →* o17892[16])∧(o949[12] →* o16672[16])∧(o950[12] →* o16673[16]))∧(i141[12] →* i141[16])∧(NULL →* o16669[16]))
(12) -> (18), if (((o1010Field0[12] →* o19695[18])∧(o1010Field1[12] →* o19696[18])∧(o1010Field2[12] →* o19697[18])∧(o949[12] →* o17144[18])∧(o950[12] →* o17145[18]))∧(i141[12] →* i141[18])∧((o1010Field0[12] →* o16671Field0[18])∧(o1010Field1[12] →* o16671Field1[18])∧(o1010Field2[12] →* o16671Field2[18])∧(o949[12] →* o16672[18])∧(o950[12] →* o16673[18]))∧(NULL →* o16669[18]))
(13) -> (7), if ((o16669[13] →* o16669[7])∧((o16671Field0[13] →* o16671Field0[7])∧(o16671Field1[13] →* o16671Field1[7])∧(o16671Field2[13] →* o16671Field2[7])∧(o16672[13] →* o16672[7])∧(o16673[13] →* o16673[7]))∧false∧(i141[13] →* i141[7]))
(13) -> (14), if ((i141[13] →* i141[14])∧((o18773[13] →* java.lang.Object(Tree(o18773[14], o18774[14], o18775[14]))))∧(o16669[13] →* o16669[14])∧((o16671Field0[13] →* o16671Field0[14])∧(o16671Field1[13] →* o16671Field1[14])∧(o16671Field2[13] →* o16671Field2[14])∧(o16672[13] →* o16672[14])∧(o16673[13] →* o16673[14])))
(13) -> (15), if (((o16671Field0[13] →* o16671Field0[15])∧(o16671Field1[13] →* o16671Field1[15])∧(o16671Field2[13] →* o16671Field2[15])∧(o16672[13] →* o16672[15])∧(o16673[13] →* o16673[15]))∧(o16669[13] →* o16669[15])∧(i141[13] →* i141[15])∧((o18773[13] →* NULL)))
(13) -> (16), if (((o18773[13] →* java.lang.Object(Tree(o17890[16], o17891[16], o17892[16]))))∧(i141[13] →* i141[16])∧((o16671Field0[13] →* o17890[16])∧(o16671Field1[13] →* o17891[16])∧(o16671Field2[13] →* o17892[16])∧(o16672[13] →* o16672[16])∧(o16673[13] →* o16673[16]))∧(o16669[13] →* o16669[16]))
(13) -> (18), if ((i141[13] →* i141[18])∧(o16669[13] →* o16669[18])∧((o18773[13] →* java.lang.Object(Tree(o19695[18], o19696[18], o19697[18]))))∧((o16671Field0[13] →* o16671Field0[18])∧(o16671Field1[13] →* o16671Field1[18])∧(o16671Field2[13] →* o16671Field2[18])∧(o16672[13] →* o16672[18])∧(o16673[13] →* o16673[18])))
(14) -> (7), if ((o16669[14] →* o16669[7])∧((o16671Field0[14] →* o16671Field0[7])∧(o16671Field1[14] →* o16671Field1[7])∧(o16671Field2[14] →* o16671Field2[7])∧(o16672[14] →* o16672[7])∧(o16673[14] →* o16673[7]))∧false∧(i141[14] →* i141[7]))
(14) -> (14), if (((o16671Field0[14] →* o16671Field0[14]')∧(o16671Field1[14] →* o16671Field1[14]')∧(o16671Field2[14] →* o16671Field2[14]')∧(o16672[14] →* o16672[14]')∧(o16673[14] →* o16673[14]'))∧(o16669[14] →* o16669[14]')∧((o18773[14] →* java.lang.Object(Tree(o18773[14]', o18774[14]', o18775[14]'))))∧(i141[14] →* i141[14]'))
(14) -> (15), if ((o16669[14] →* o16669[15])∧(i141[14] →* i141[15])∧((o16671Field0[14] →* o16671Field0[15])∧(o16671Field1[14] →* o16671Field1[15])∧(o16671Field2[14] →* o16671Field2[15])∧(o16672[14] →* o16672[15])∧(o16673[14] →* o16673[15]))∧((o18773[14] →* NULL)))
(14) -> (16), if ((o16669[14] →* o16669[16])∧((o16671Field0[14] →* o17890[16])∧(o16671Field1[14] →* o17891[16])∧(o16671Field2[14] →* o17892[16])∧(o16672[14] →* o16672[16])∧(o16673[14] →* o16673[16]))∧((o18773[14] →* java.lang.Object(Tree(o17890[16], o17891[16], o17892[16]))))∧(i141[14] →* i141[16]))
(14) -> (18), if ((i141[14] →* i141[18])∧((o18773[14] →* java.lang.Object(Tree(o19695[18], o19696[18], o19697[18]))))∧(o16669[14] →* o16669[18])∧((o16671Field0[14] →* o16671Field0[18])∧(o16671Field1[14] →* o16671Field1[18])∧(o16671Field2[14] →* o16671Field2[18])∧(o16672[14] →* o16672[18])∧(o16673[14] →* o16673[18])))
(15) -> (7), if ((o17144[15] →* NULL)∧((o16671Field0[15] →* o16671Field0[7])∧(o16671Field1[15] →* o16671Field1[7])∧(o16671Field2[15] →* o16671Field2[7])∧(o16672[15] →* o16672[7])∧(o16673[15] →* o16673[7]))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[7])∧(i141[15] →* i141[7]))
(15) -> (14), if ((o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[14])∧(i141[15] →* i141[14])∧((o16671Field0[15] →* o16671Field0[14])∧(o16671Field1[15] →* o16671Field1[14])∧(o16671Field2[15] →* o16671Field2[14])∧(o16672[15] →* o16672[14])∧(o16673[15] →* o16673[14])))
(15) -> (15), if (((o16671Field0[15] →* o16671Field0[15]')∧(o16671Field1[15] →* o16671Field1[15]')∧(o16671Field2[15] →* o16671Field2[15]')∧(o16672[15] →* o16672[15]')∧(o16673[15] →* o16673[15]'))∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[15]')∧(o17144[15] →* java.lang.Object(Tree(NULL, o17144[15]', o17145[15]')))∧(i141[15] →* i141[15]'))
(15) -> (16), if ((java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[16])∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])))∧((o16671Field0[15] →* o17890[16])∧(o16671Field1[15] →* o17891[16])∧(o16671Field2[15] →* o17892[16])∧(o16672[15] →* o16672[16])∧(o16673[15] →* o16673[16]))∧(i141[15] →* i141[16]))
(15) -> (18), if ((i141[15] →* i141[18])∧(java.lang.Object(Tree(NULL, o16669[15], NULL)) →* o16669[18])∧((o16671Field0[15] →* o16671Field0[18])∧(o16671Field1[15] →* o16671Field1[18])∧(o16671Field2[15] →* o16671Field2[18])∧(o16672[15] →* o16672[18])∧(o16673[15] →* o16673[18]))∧(o17144[15] →* java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18]))))
(16) -> (7), if (false∧(i141[16] →* i141[7])∧((o17890[16] →* o16671Field0[7])∧(o17891[16] →* o16671Field1[7])∧(o17892[16] →* o16671Field2[7])∧(o16672[16] →* o16672[7])∧(o16673[16] →* o16673[7]))∧(o16669[16] →* o16669[7]))
(16) -> (14), if (((o17890[16] →* o16671Field0[14])∧(o17891[16] →* o16671Field1[14])∧(o17892[16] →* o16671Field2[14])∧(o16672[16] →* o16672[14])∧(o16673[16] →* o16673[14]))∧((o17890[16] →* java.lang.Object(Tree(o18773[14], o18774[14], o18775[14]))))∧(o16669[16] →* o16669[14])∧(i141[16] →* i141[14]))
(16) -> (15), if ((i141[16] →* i141[15])∧((o17890[16] →* NULL))∧(o16669[16] →* o16669[15])∧((o17890[16] →* o16671Field0[15])∧(o17891[16] →* o16671Field1[15])∧(o17892[16] →* o16671Field2[15])∧(o16672[16] →* o16672[15])∧(o16673[16] →* o16673[15])))
(16) -> (16), if (((o17890[16] →* java.lang.Object(Tree(o17890[16]', o17891[16]', o17892[16]'))))∧((o17890[16] →* o17890[16]')∧(o17891[16] →* o17891[16]')∧(o17892[16] →* o17892[16]')∧(o16672[16] →* o16672[16]')∧(o16673[16] →* o16673[16]'))∧(o16669[16] →* o16669[16]')∧(i141[16] →* i141[16]'))
(16) -> (18), if (((o17890[16] →* o16671Field0[18])∧(o17891[16] →* o16671Field1[18])∧(o17892[16] →* o16671Field2[18])∧(o16672[16] →* o16672[18])∧(o16673[16] →* o16673[18]))∧((o17890[16] →* java.lang.Object(Tree(o19695[18], o19696[18], o19697[18]))))∧(i141[16] →* i141[18])∧(o16669[16] →* o16669[18]))
(18) -> (13), if ((o19695[18] →* o18773[13])∧((o16671Field0[18] →* o16671Field0[13])∧(o16671Field1[18] →* o16671Field1[13])∧(o16671Field2[18] →* o16671Field2[13])∧(o16672[18] →* o16672[13])∧(o16673[18] →* o16673[13]))∧(i141[18] →* i141[13])∧(o16669[18] →* o16669[13])∧((o19695[18] →* o18773[13])∧(o19696[18] →* o18774[13])∧(o19697[18] →* o18775[13])∧(o17144[18] →* o17144[13])∧(o17145[18] →* o17145[13])))
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
JMP1675'(o859[10], o944[10], i184[10]) → LOAD1265(o859[10], o944[10], i184[10])
NULL1315'(o859[11], i141[11], java.lang.Object(Tree(NULL, o944[11], o945[11]))) → LOAD1265(o859[11], o944[11], plus_int(pos(s(0)), i141[11]))
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
NULL1315'(java.lang.Object(Tree(NULL, o949[17], o950[17])), i141[17], java.lang.Object(Tree(NULL, o949[17], o950[17]))) → JMP1675'(java.lang.Object(Tree(NULL, o949[17], o950[17])), o949[17], plus_int(pos(s(0)), i141[17]))
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
plus_int(pos(x), neg(y)) → minus_nat(x, y)
plus_int(neg(x), pos(y)) → minus_nat(y, x)
plus_int(neg(x), neg(y)) → neg(plus_nat(x, y))
plus_int(pos(x), pos(y)) → pos(plus_nat(x, y))
plus_nat(0, x) → x
plus_nat(s(x), y) → s(plus_nat(x, y))
minus_nat(0, 0) → pos(0)
minus_nat(0, s(y)) → neg(s(y))
minus_nat(s(x), 0) → pos(s(x))
minus_nat(s(x), s(y)) → minus_nat(x, y)
Load1265(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)))
Store26273(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12, x7)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(NULL, x7, x8)), x9)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), NULL, x6)
JMP22682(x0, x1, x2)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), NULL, x7)
JMP1675(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(NULL, x2, x3)))
Store26568(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11, x6)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(NULL, x6, x7)), x8)
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
JMP1675'(o859[10], o944[10], i184[10]) → LOAD1265(o859[10], o944[10], i184[10])
NULL1315'(o859[11], i141[11], java.lang.Object(Tree(NULL, o944[11], o945[11]))) → LOAD1265(o859[11], o944[11], plus_int(pos(s(0)), i141[11]))
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
NULL1315'(java.lang.Object(Tree(NULL, o949[17], o950[17])), i141[17], java.lang.Object(Tree(NULL, o949[17], o950[17]))) → JMP1675'(java.lang.Object(Tree(NULL, o949[17], o950[17])), o949[17], plus_int(pos(s(0)), i141[17]))
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
plus_int(pos(x), neg(y)) → minus_nat(x, y)
plus_int(pos(x), pos(y)) → pos(plus_nat(x, y))
plus_nat(0, x) → x
plus_nat(s(x), y) → s(plus_nat(x, y))
minus_nat(0, 0) → pos(0)
minus_nat(0, s(y)) → neg(s(y))
minus_nat(s(x), 0) → pos(s(x))
minus_nat(s(x), s(y)) → minus_nat(x, y)
Load1265(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)))
Store26273(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12, x7)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(NULL, x7, x8)), x9)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), NULL, x6)
JMP22682(x0, x1, x2)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), NULL, x7)
JMP1675(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(NULL, x2, x3)))
Store26568(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11, x6)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(NULL, x6, x7)), x8)
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
Load1265(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)))
Store26273(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12, x7)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), x12)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), java.lang.Object(Tree(NULL, x7, x8)), x9)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), NULL, x6)
JMP22682(x0, x1, x2)
Load21911(x0, x1, java.lang.Object(Tree(java.lang.Object(Tree(x2, x3, x4)), x5, x6)), NULL, x7)
JMP1675(x0, x1, x2)
NULL1315(x0, x1, java.lang.Object(Tree(NULL, x2, x3)))
Store26568(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11, x6)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), x11)
Load22061(x0, java.lang.Object(Tree(java.lang.Object(Tree(x1, x2, x3)), x4, x5)), java.lang.Object(Tree(NULL, x6, x7)), x8)
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
JMP1675'(o859[10], o944[10], i184[10]) → LOAD1265(o859[10], o944[10], i184[10])
NULL1315'(o859[11], i141[11], java.lang.Object(Tree(NULL, o944[11], o945[11]))) → LOAD1265(o859[11], o944[11], plus_int(pos(s(0)), i141[11]))
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
NULL1315'(java.lang.Object(Tree(NULL, o949[17], o950[17])), i141[17], java.lang.Object(Tree(NULL, o949[17], o950[17]))) → JMP1675'(java.lang.Object(Tree(NULL, o949[17], o950[17])), o949[17], plus_int(pos(s(0)), i141[17]))
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
plus_int(pos(x), neg(y)) → minus_nat(x, y)
plus_int(pos(x), pos(y)) → pos(plus_nat(x, y))
plus_nat(0, x) → x
plus_nat(s(x), y) → s(plus_nat(x, y))
minus_nat(0, 0) → pos(0)
minus_nat(0, s(y)) → neg(s(y))
minus_nat(s(x), 0) → pos(s(x))
minus_nat(s(x), s(y)) → minus_nat(x, y)
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
NULL1315'(o859[11], i141[11], java.lang.Object(Tree(NULL, o944[11], o945[11]))) → LOAD1265(o859[11], o944[11], plus_int(pos(s(0)), i141[11]))
NULL1315'(java.lang.Object(Tree(NULL, o949[17], o950[17])), i141[17], java.lang.Object(Tree(NULL, o949[17], o950[17]))) → JMP1675'(java.lang.Object(Tree(NULL, o949[17], o950[17])), o949[17], plus_int(pos(s(0)), i141[17]))
POL(0) = 0
POL(JMP1675'(x1, x2, x3)) = x2
POL(JMP22682'(x1, x2, x3)) = x2
POL(LOAD1265(x1, x2, x3)) = x2
POL(LOAD21911(x1, x2, x3, x4, x5)) = x4 + x5
POL(LOAD22061(x1, x2, x3, x4)) = x3 + x4
POL(NULL) = 0
POL(NULL1315'(x1, x2, x3)) = x3
POL(STORE26273(x1, x2, x3, x4, x5, x6)) = x4 + x5
POL(STORE26568(x1, x2, x3, x4, x5)) = x3 + x4
POL(Tree(x1, x2, x3)) = 1 + x1 + x2
POL(java.lang.Object(x1)) = x1
POL(minus_nat(x1, x2)) = 1
POL(neg(x1)) = 1
POL(plus_int(x1, x2)) = x2
POL(plus_nat(x1, x2)) = 0
POL(pos(x1)) = 0
POL(s(x1)) = 0
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
JMP1675'(o859[10], o944[10], i184[10]) → LOAD1265(o859[10], o944[10], i184[10])
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
plus_int(pos(x), neg(y)) → minus_nat(x, y)
plus_int(pos(x), pos(y)) → pos(plus_nat(x, y))
plus_nat(0, x) → x
plus_nat(s(x), y) → s(plus_nat(x, y))
minus_nat(0, 0) → pos(0)
minus_nat(0, s(y)) → neg(s(y))
minus_nat(s(x), 0) → pos(s(x))
minus_nat(s(x), s(y)) → minus_nat(x, y)
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
plus_int(pos(x), neg(y)) → minus_nat(x, y)
plus_int(pos(x), pos(y)) → pos(plus_nat(x, y))
plus_nat(0, x) → x
plus_nat(s(x), y) → s(plus_nat(x, y))
minus_nat(0, 0) → pos(0)
minus_nat(0, s(y)) → neg(s(y))
minus_nat(s(x), 0) → pos(s(x))
minus_nat(s(x), s(y)) → minus_nat(x, y)
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
plus_int(pos(x0), neg(x1))
plus_int(neg(x0), pos(x1))
plus_int(neg(x0), neg(x1))
plus_int(pos(x0), pos(x1))
plus_nat(0, x0)
plus_nat(s(x0), x1)
minus_nat(0, 0)
minus_nat(0, s(x0))
minus_nat(s(x0), 0)
minus_nat(s(x0), s(x1))
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
NULL1315'(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1]))) → LOAD21911(o859[1], i141[1], java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), java.lang.Object(Tree(java.lang.Object(Tree(o996Field0[1], o996Field1[1], o996Field2[1])), o944[1], o945[1])), NULL)
LOAD21911(o16609[9], i141[9], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[9], o16606Field1[9], o16606Field2[9])), o16607[9], o16608[9])), NULL, o16604[9]) → LOAD1265(o16609[9], o16604[9], i141[9])
NULL1315'(java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12]))) → LOAD22061(i141[12], java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), java.lang.Object(Tree(java.lang.Object(Tree(o1010Field0[12], o1010Field1[12], o1010Field2[12])), o949[12], o950[12])), NULL)
POL(NULL1315'(x1, x2, x3)) = 0 +
[ 0, 0 ] · x1 +
[ 1, 1 ] · x2 +
[ 1, 0 ] · x3
POL(java.lang.Object(x1)) =
/ 0 \ \ 1 / +
/ 1 1 \ \ 0 1 / · x1
POL(Tree(x1, x2, x3)) =
/ 0 \ \ 0 / +
/ 0 1 \ \ 0 1 / · x1 +
/ 0 0 \ \ 0 0 / · x2 +
/ 0 0 \ \ 0 0 / · x3
POL(LOAD21911(x1, x2, x3, x4, x5)) = 1 +
[ 0, 0 ] · x1 +
[ 1, 1 ] · x2 +
[ 0, 0 ] · x3 +
[ 0, 0 ] · x4 +
[ 1, 0 ] · x5
POL(NULL) =
/ 0 \ \ 0 /
POL(STORE26273(x1, x2, x3, x4, x5, x6)) = 1 +
[ 0, 0 ] · x1 +
[ 1, 1 ] · x2 +
[ 0, 0 ] · x3 +
[ 0, 0 ] · x4 +
[ 1, 0 ] · x5 +
[ 0, 0 ] · x6
POL(LOAD1265(x1, x2, x3)) = 0 +
[ 0, 0 ] · x1 +
[ 1, 0 ] · x2 +
[ 1, 1 ] · x3
POL(LOAD22061(x1, x2, x3, x4)) = 0 +
[ 1, 1 ] · x1 +
[ 0, 0 ] · x2 +
[ 0, 0 ] · x3 +
[ 1, 0 ] · x4
POL(JMP22682'(x1, x2, x3)) = 0 +
[ 0, 0 ] · x1 +
[ 1, 0 ] · x2 +
[ 1, 1 ] · x3
POL(STORE26568(x1, x2, x3, x4, x5)) = 0 +
[ 1, 1 ] · x1 +
[ 0, 0 ] · x2 +
[ 0, 0 ] · x3 +
[ 1, 0 ] · x4 +
[ 0, 0 ] · x5
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
LOAD1265(o831[0], o830[0], i130[0]) → NULL1315'(o831[0], i130[0], o830[0])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[7], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), NULL, o16669[7]) → JMP22682'(java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[7], o16671Field1[7], o16671Field2[7])), o16672[7], o16673[7])), o16669[7], i141[7])
JMP22682'(o16609[8], o16604[8], i141[8]) → LOAD1265(o16609[8], o16604[8], i141[8])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), java.lang.Object(Tree(NULL, o17144[15], o17145[15])), o16669[15]) → LOAD22061(i141[15], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[15], o16671Field1[15], o16671Field2[15])), o16672[15], o16673[15])), o17144[15], java.lang.Object(Tree(NULL, o16669[15], NULL)))
POL(LOAD22061(x1, x2, x3, x4)) = x3
POL(NULL) = 1
POL(STORE26568(x1, x2, x3, x4, x5)) = x3
POL(Tree(x1, x2, x3)) = x1 + x2
POL(java.lang.Object(x1)) = x1
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[14], o18774[14], o18775[14])), o17144[14], o17145[14])), o16669[14]) → LOAD22061(i141[14], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[14], o16671Field1[14], o16671Field2[14])), o16672[14], o16673[14])), java.lang.Object(Tree(o18773[14], java.lang.Object(Tree(o18774[14], o17144[14], NULL)), NULL)), o16669[14])
LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), o16669[16]) → LOAD22061(i141[16], java.lang.Object(Tree(java.lang.Object(Tree(o17890[16], o17891[16], o17892[16])), o16672[16], o16673[16])), java.lang.Object(Tree(o17890[16], java.lang.Object(Tree(o17891[16], o16672[16], NULL)), NULL)), o16669[16])
STORE26568(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(java.lang.Object(Tree(o18773[13], o18774[13], o18775[13])), o17144[13], o17145[13])), o16669[13], o18773[13]) → LOAD22061(i141[13], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[13], o16671Field1[13], o16671Field2[13])), o16672[13], o16673[13])), java.lang.Object(Tree(o18773[13], java.lang.Object(Tree(o18774[13], o17144[13], NULL)), NULL)), o16669[13])
POL(LOAD22061(x1, x2, x3, x4)) = x3
POL(NULL) = 0
POL(STORE26568(x1, x2, x3, x4, x5)) = x3
POL(Tree(x1, x2, x3)) = x1
POL(java.lang.Object(x1)) = 1 + x1
LOAD22061(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18]) → STORE26568(i141[18], java.lang.Object(Tree(java.lang.Object(Tree(o16671Field0[18], o16671Field1[18], o16671Field2[18])), o16672[18], o16673[18])), java.lang.Object(Tree(java.lang.Object(Tree(o19695[18], o19696[18], o19697[18])), o17144[18], o17145[18])), o16669[18], o19695[18])
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), java.lang.Object(Tree(NULL, o17126[4], o17127[4])), o16604[4]) → LOAD21911(o16609[4], i141[4], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[4], o16606Field1[4], o16606Field2[4])), o16607[4], o16608[4])), o17126[4], java.lang.Object(Tree(NULL, o16604[4], NULL)))
POL(LOAD21911(x1, x2, x3, x4, x5)) = 0 +
[ 0, 0 ] · x1 +
[ 0, 0 ] · x2 +
[ 0, 0 ] · x3 +
[ 0, 1 ] · x4 +
[ 0, 0 ] · x5
POL(java.lang.Object(x1)) =
/ 0 \ \ 0 / +
/ 0 0 \ \ 0 1 / · x1
POL(Tree(x1, x2, x3)) =
/ 0 \ \ 0 / +
/ 0 0 \ \ 0 1 / · x1 +
/ 0 0 \ \ 0 1 / · x2 +
/ 0 0 \ \ 0 0 / · x3
POL(NULL) =
/ 0 \ \ 1 /
POL(STORE26273(x1, x2, x3, x4, x5, x6)) = 0 +
[ 0, 0 ] · x1 +
[ 0, 0 ] · x2 +
[ 0, 0 ] · x3 +
[ 0, 1 ] · x4 +
[ 0, 0 ] · x5 +
[ 0, 0 ] · x6
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[3], o18622[3], o18623[3])), o17126[3], o17127[3])), o16604[3]) → LOAD21911(o16609[3], i141[3], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[3], o16606Field1[3], o16606Field2[3])), o16607[3], o16608[3])), java.lang.Object(Tree(o18621[3], java.lang.Object(Tree(o18622[3], o17126[3], NULL)), NULL)), o16604[3])
LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), o16604[5]) → LOAD21911(o16609[5], i141[5], java.lang.Object(Tree(java.lang.Object(Tree(o17786[5], o17787[5], o17788[5])), o16607[5], o16608[5])), java.lang.Object(Tree(o17786[5], java.lang.Object(Tree(o17787[5], o16607[5], NULL)), NULL)), o16604[5])
LOAD21911(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6]) → STORE26273(o16609[6], i141[6], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[6], o16606Field1[6], o16606Field2[6])), o16607[6], o16608[6])), java.lang.Object(Tree(java.lang.Object(Tree(o19480[6], o19481[6], o19482[6])), o17126[6], o17127[6])), o16604[6], o19480[6])
POL(LOAD21911(x1, x2, x3, x4, x5)) = x4
POL(NULL) = 0
POL(STORE26273(x1, x2, x3, x4, x5, x6)) = 1 + x6
POL(Tree(x1, x2, x3)) = 1 + x1
POL(java.lang.Object(x1)) = x1
STORE26273(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(java.lang.Object(Tree(o18621[2], o18622[2], o18623[2])), o17126[2], o17127[2])), o16604[2], o18621[2]) → LOAD21911(o16609[2], i141[2], java.lang.Object(Tree(java.lang.Object(Tree(o16606Field0[2], o16606Field1[2], o16606Field2[2])), o16607[2], o16608[2])), java.lang.Object(Tree(o18621[2], java.lang.Object(Tree(o18622[2], o17126[2], NULL)), NULL)), o16604[2])
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
JMP32331(x1, x2, x3, x4, x5) → JMP32331(x1, x2, x3, x5)
Cond_Load15465ARR8(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR8(x1, x2, x3, x4, x6, x7)
Load15465ARR8(x1, x2, x3, x4, x5, x6) → Load15465ARR8(x1, x2, x3, x5, x6)
JMP32293(x1, x2, x3, x4, x5) → JMP32293(x1, x2, x3, x5)
Cond_Load15465ARR7(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR7(x1, x2, x3, x4, x6, x7)
Load15465ARR7(x1, x2, x3, x4, x5, x6) → Load15465ARR7(x1, x2, x3, x5, x6)
Inc32520(x1, x2, x3, x4, x5) → Inc32520(x1, x2, x3, x5)
Cond_Load15465ARR5(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR5(x1, x2, x3, x4, x6, x7)
Load15465ARR5(x1, x2, x3, x4, x5, x6) → Load15465ARR5(x1, x2, x3, x5, x6)
Cond_Load15465ARR1(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR1(x1, x2, x3, x4, x6, x7)
Load15465ARR1(x1, x2, x3, x4, x5, x6) → Load15465ARR1(x1, x2, x3, x5, x6)
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Load15465(x1, x2, x3, x4, x5) → Load15465(x1, x2, x3)
Tree(x1, x2, x3) → Tree
Load15465ARR1(x1, x2, x3, x4, x5) → Load15465ARR1(x1, x2, x3)
Cond_Load15465ARR1(x1, x2, x3, x4, x5, x6) → Cond_Load15465ARR1(x1, x2, x3, x4)
Inc26629(x1, x2, x3, x4, x5) → Inc26629(x1, x2, x3)
JMP26698(x1, x2, x3, x4, x5) → JMP26698(x1, x2, x3)
Load15465ARR2(x1, x2, x3, x4, x5, x6) → Load15465ARR2(x1, x2, x3, x6)
Cond_Load15465ARR2(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR2(x1, x2, x3, x4, x7)
Load15465ARR3(x1, x2, x3, x4, x5, x6) → Load15465ARR3(x1, x2, x3)
Cond_Load15465ARR3(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR3(x1, x2, x3, x4)
Inc32520(x1, x2, x3, x4) → Inc32520(x1, x2, x3)
JMP32293(x1, x2, x3, x4) → JMP32293(x1, x2, x3)
Load15465ARR4(x1, x2, x3, x4, x5, x6) → Load15465ARR4(x1, x2, x3)
Cond_Load15465ARR4(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR4(x1, x2, x3, x4)
Load15465ARR5(x1, x2, x3, x4, x5) → Load15465ARR5(x1, x2, x3, x5)
Cond_Load15465ARR5(x1, x2, x3, x4, x5, x6) → Cond_Load15465ARR5(x1, x2, x3, x4, x6)
JMP32331(x1, x2, x3, x4) → JMP32331(x1, x2, x3)
Load15465ARR6(x1, x2, x3, x4, x5, x6) → Load15465ARR6(x1, x2, x3, x6)
Cond_Load15465ARR6(x1, x2, x3, x4, x5, x6, x7) → Cond_Load15465ARR6(x1, x2, x3, x4, x7)
Load15465ARR7(x1, x2, x3, x4, x5) → Load15465ARR7(x1, x2, x3)
Cond_Load15465ARR7(x1, x2, x3, x4, x5, x6) → Cond_Load15465ARR7(x1, x2, x3, x4)
Load15465ARR8(x1, x2, x3, x4, x5) → Load15465ARR8(x1, x2, x3, x5)
Cond_Load15465ARR8(x1, x2, x3, x4, x5, x6) → Cond_Load15465ARR8(x1, x2, x3, x4, x6)
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
| > | Load15465ARR1_3 |
| > | Load15465ARR3_3 |
| > | Cond_Load15465ARR1_4 |
| > | JMP26698_3 |
| > | Load15465ARR2_4 |
| > | Load15465ARR5_4 |
| > | Cond_Load15465ARR5_5 |
| > | Cond_Load15465ARR2_5 |
| > | Inc26629_3 |
| > | Cond_Load15465ARR3_4 |
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
!= | ~ | Neq: (Integer, Integer) -> Boolean |
* | ~ | Mul: (Integer, Integer) -> Integer |
>= | ~ | Ge: (Integer, Integer) -> Boolean |
-1 | ~ | UnaryMinus: (Integer) -> Integer |
| | ~ | Bwor: (Integer, Integer) -> Integer |
/ | ~ | Div: (Integer, Integer) -> Integer |
= | ~ | Eq: (Integer, Integer) -> Boolean |
~ | Bwxor: (Integer, Integer) -> Integer | |
|| | ~ | Lor: (Boolean, Boolean) -> Boolean |
! | ~ | Lnot: (Boolean) -> Boolean |
< | ~ | Lt: (Integer, Integer) -> Boolean |
- | ~ | Sub: (Integer, Integer) -> Integer |
<= | ~ | Le: (Integer, Integer) -> Boolean |
> | ~ | Gt: (Integer, Integer) -> Boolean |
~ | ~ | Bwnot: (Integer) -> Integer |
% | ~ | Mod: (Integer, Integer) -> Integer |
& | ~ | Bwand: (Integer, Integer) -> Integer |
+ | ~ | Add: (Integer, Integer) -> Integer |
&& | ~ | Land: (Boolean, Boolean) -> Boolean |
Boolean, Integer