MAYBE
137.52/55.46	MAYBE
137.52/55.46	
137.52/55.46	Problem:
137.52/55.46	 f(a(),f(a(),f(b(),f(x,y)))) -> f(b(),f(c(),f(b(),f(a(),f(a(),f(a(),f(x,y)))))))
137.52/55.46	 f(a(),f(c(),f(x,y))) -> f(b(),f(x,y))
137.52/55.46	
137.52/55.46	Proof:
137.52/55.46	 Open
137.52/55.46	EOF