239.36/50.78	MAYBE
239.36/50.78	
239.36/50.78	Problem:
239.36/50.78	 b(a(b(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(a(b(b(a(b(x1)))))))))))))
239.36/50.78	
239.36/50.78	Proof:
239.36/50.78	 Open
239.36/50.78	EOF