15.04/6.74	MAYBE
15.04/6.74	(UNSUPPORTED)
15.04/6.74	ConCon could not decide confluence of the system.
15.04/6.74	\cite{ALS94}, Theorem 4.1 does not apply.
15.04/6.74	This system is of type 3 or smaller.
15.04/6.74	This system is absolutely deterministic.
15.04/6.74	This system is terminating.
15.04/6.74	This critical pair is conditional.
15.04/6.74	This critical pair has some non-trivial conditions.
15.04/6.74	ConCon could not decide whether all 2 critical pairs are joinable or not.
15.04/6.74	Overlap: (rule1: f(c(c(c(z))), x') -> a(x') <= c(f(c(z), c(c(x')))) = c(a(a(b))), rule2: f(c(y'), c(c(z'))) -> a(a(y')) <= c(f(y', z')) = c(a(b)), pos: ε, mgu: {(y',c(c(z))), (x',c(c(z')))})
15.04/6.74	CP: a(a(c(c(z)))) = a(c(c(z'))) <= c(f(c(z), c(c(c(c(z')))))) = c(a(a(b))), c(f(c(c(z)), z')) = c(a(b))
15.04/6.74	ConCon could not decide infeasibility of this critical pair.
15.04/6.75	EOF