198.75/50.65	MAYBE
198.75/50.65	
198.75/50.65	Problem:
198.75/50.65	 a(a(b(a(a(a(a(a(a(a(a(x1))))))))))) -> a(a(a(a(a(a(a(a(a(a(b(a(a(b(x1))))))))))))))
198.75/50.65	
198.75/50.65	Proof:
198.75/50.65	 Open
198.75/50.66	EOF