199.27/50.70	MAYBE
199.27/50.70	
199.27/50.70	Problem:
199.27/50.70	 a(b(a(c(a(a(b(a(c(a(x1)))))))))) -> a(a(b(a(c(a(b(a(c(a(a(b(a(c(x1))))))))))))))
199.27/50.70	
199.27/50.70	Proof:
199.27/50.70	 Open
199.27/50.71	EOF