MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(a()) -> b()
0.08/0.18	 f(c()) -> d()
0.08/0.18	 f(g(x,y)) -> g(f(x),f(y))
0.08/0.18	 f(h(x,y)) -> g(h(y,f(x)),h(x,f(y)))
0.08/0.18	 g(x,x) -> h(e(),x)
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF