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