MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(0(),1(),x) -> f(h(x),h(x),x)
0.08/0.18	 h(0()) -> 0()
0.08/0.18	 h(g(x,y)) -> y
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF