MAYBE
102.33/38.58	MAYBE
102.33/38.58	
102.33/38.58	Problem:
102.33/38.58	 g(x,0()) -> 0()
102.33/38.58	 g(d(),s(x)) -> s(s(g(d(),x)))
102.33/38.58	 g(h(),s(0())) -> 0()
102.33/38.58	 g(h(),s(s(x))) -> s(g(h(),x))
102.33/38.58	 double(x) -> g(d(),x)
102.33/38.58	 half(x) -> g(h(),x)
102.33/38.58	 f(s(x),y) -> f(half(s(x)),double(y))
102.33/38.58	 f(s(0()),y) -> y
102.33/38.58	 id(x) -> f(x,s(0()))
102.33/38.58	
102.33/38.58	Proof:
102.33/38.58	 Open
102.33/38.58	EOF