MAYBE
132.19/55.29	MAYBE
132.19/55.29	
132.19/55.29	Problem:
132.19/55.29	 f(x,f(y,a())) -> f(f(a(),f(h(x),y)),a())
132.19/55.29	
132.19/55.29	Proof:
132.19/55.29	 Open
132.19/55.29	EOF