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