MAYBE
88.56/27.47	MAYBE
88.56/27.47	
88.56/27.47	Problem:
88.56/27.47	 f(a(),f(f(a(),a()),x)) -> f(f(a(),a()),f(a(),f(a(),x)))
88.56/27.47	
88.56/27.47	Proof:
88.56/27.47	 Open
88.56/27.48	EOF