MAYBE 3.14/1.23 MAYBE 3.14/1.24 3.14/1.24 3.14/1.24
3.14/1.24 3.14/1.240 CpxTRS3.14/1.24
↳1 CpxTrsToCdtProof (BOTH BOUNDS(ID, ID))3.14/1.24
↳2 CdtProblem3.14/1.24
↳3 CdtRhsSimplificationProcessorProof (BOTH BOUNDS(ID, ID))3.14/1.24
↳4 CdtProblem3.14/1.24
↳5 CdtNarrowingProof (BOTH BOUNDS(ID, ID))3.14/1.24
↳6 CdtProblem3.14/1.24
+(1, x) → +(+(0, 1), x) 3.14/1.24
+(0, x) → x
Tuples:
+(1, z0) → +(+(0, 1), z0) 3.14/1.24
+(0, z0) → z0
S tuples:
+'(1, z0) → c(+'(+(0, 1), z0), +'(0, 1))
K tuples:none
+'(1, z0) → c(+'(+(0, 1), z0), +'(0, 1))
+
+'
c
Tuples:
+(1, z0) → +(+(0, 1), z0) 3.14/1.24
+(0, z0) → z0
S tuples:
+'(1, z0) → c(+'(+(0, 1), z0))
K tuples:none
+'(1, z0) → c(+'(+(0, 1), z0))
+
+'
c
+'(1, x0) → c(+'(1, x0))
Tuples:
+(1, z0) → +(+(0, 1), z0) 3.14/1.24
+(0, z0) → z0
S tuples:
+'(1, x0) → c(+'(1, x0))
K tuples:none
+'(1, x0) → c(+'(1, x0))
+
+'
c