MAYBE
243.63/60.28	MAYBE
243.63/60.28	
243.63/60.28	Problem:
243.63/60.28	 f(x,a(b(y))) -> f(c(d(x)),y)
243.63/60.28	 f(c(x),y) -> f(x,a(y))
243.63/60.28	 f(d(x),y) -> f(x,b(y))
243.63/60.28	
243.63/60.28	Proof:
243.63/60.28	 Open
243.63/60.28	EOF