2.20/0.84	MAYBE
2.20/0.84	
2.20/0.84	(VAR x y)
2.20/0.84	(REPLACEMENT-MAP
2.20/0.84		(F)
2.20/0.84		(f)
2.20/0.84		(g)
2.20/0.84		(h)
2.20/0.84	)
2.20/0.84	(RULES
2.20/0.84		F(g(x),x) -> F(x,g(x))
2.20/0.84		F(h(x),x) -> F(x,h(x))
2.20/0.84		f(x,y) -> f(x,g(y))
2.20/0.84		f(x,y) -> x
2.20/0.84		g(x) -> h(x)
2.20/0.84	)
2.20/0.84	
2.20/0.84	Not orthogonal. Not left-linear.
2.20/0.84	Found extended critical pairs:
2.20/0.84		f(x_1,g(y_1))~x_1
2.20/0.84	All critical pairs are joinable.
2.20/0.84		f(x_1,g(y_1))~x_1
2.20/0.84		Intersection of rewrite graph is non-empty.
2.20/0.84			x
2.20/0.84	Got termination result: No
2.20/0.84	
2.20/0.85	EOF