0.00/0.02	NO
0.00/0.02	
0.00/0.02	---- Non-confluence check
0.00/0.02	R:
0.00/0.02	f(x,x) -> g(x)
0.00/0.02	f(x,g(x)) -> b()
0.00/0.02	h(c(),y) -> f(h(y,c()),h(y,y))
0.00/0.02	
0.00/0.02	Unjoinable conversion:
0.00/0.02	g(g(g(h(c(),c())))) <->*
0.00/0.02	g(b())
0.00/0.02	
0.00/0.02	
0.00/0.02	EOF