MAYBE
219.61/55.55	MAYBE
219.61/55.56	
219.61/55.56	Problem:
219.61/55.56	 f(c(s(x),y)) -> f(c(x,s(y)))
219.61/55.56	 f(c(s(x),s(y))) -> g(c(x,y))
219.61/55.56	 g(c(x,s(y))) -> g(c(s(x),y))
219.61/55.56	 g(c(s(x),s(y))) -> f(c(x,y))
219.61/55.56	
219.61/55.56	Proof:
219.61/55.56	 Open
219.61/55.56	EOF