0.00/0.77	MAYBE
0.00/0.77	
0.00/0.77	Problem:
0.00/0.77	pin(x) -> pout(g(x))
0.00/0.77	pin(x) -> pout(f(y)) <= pin(x) = pout(g(y))
0.00/0.77	
0.00/0.77	Proof:
0.00/0.77	ConCon could not decide confluence of the system.
0.00/0.77	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.77	
0.00/0.79	EOF