44.72/12.23	MAYBE
44.72/12.23	
44.72/12.23	Problem:
44.72/12.23	App(App(App(S(), x), y), z) -> App(App(x, z), App(y, z))
44.72/12.23	App(App(K(), x), y) -> x
44.72/12.23	App(I(), x) -> x
44.72/12.23	App(App(App(C(), T()), x), y) -> x
44.72/12.23	App(App(App(C(), F()), x), y) -> y
44.72/12.23	App(App(App(C(), z), x), y) -> x <= x = y
44.72/12.23	App(App(App(C(), z), x), y) -> y <= x = y
44.72/12.23	
44.72/12.23	Proof:
44.72/12.23	ConCon could not decide confluence of the system.
44.72/12.23	\cite{ALS94}, Theorem 4.1 does not apply.
44.72/12.23	ConCon could not decide if this system is quasi-decreasing.
44.72/12.23	\cite{O02}, p. 214, Proposition 7.2.50 does not apply.
44.72/12.23	
46.10/12.53	EOF