YES NOTE: input TRS is reduced original is 5: i0(c0(),c0(),c1(),c1()) -> i0(c2(),c2(),c2(),c2()) 6: c0() -> c1() 7: c0() -> c2() 8: c1() -> c0() 9: c1() -> c2() reduced to 6: c0() -> c1() 8: c1() -> c0() 9: c1() -> c2() NOTE: input TRS is reduced original is 1: c2() -> g0(f0(c1(),c1())) 2: c2() -> c1() 3: c1() -> c1() 4: c2() -> c0() reduced to 1: c2() -> g0(f0(c1(),c1())) 2: c2() -> c1() 4: c2() -> c0() 0.01