44.77/12.26	MAYBE
44.77/12.26	
44.77/12.26	Problem:
44.77/12.26	App(App(App(S(), x), y), z) -> App(App(x, z), App(y, z))
44.77/12.26	App(App(K(), x), y) -> x
44.77/12.26	App(I(), x) -> x
44.77/12.26	App(App(App(C(), T()), x), y) -> x
44.77/12.26	App(App(App(C(), F()), x), y) -> y
44.77/12.26	App(App(App(C(), z), x), y) -> x <= x = y
44.77/12.26	App(App(App(C(), z), x), y) -> y <= x = y
44.77/12.26	
44.77/12.26	Proof:
44.77/12.26	ConCon could not decide confluence of the system.
44.77/12.26	\cite{ALS94}, Theorem 4.1 does not apply.
44.77/12.26	ConCon could not decide if this system is quasi-decreasing.
44.77/12.26	\cite{A14}, Theorem 11.5.9 does not apply.
44.77/12.26	
44.77/12.27	EOF