214.44/50.55	MAYBE
214.44/50.55	
214.44/50.55	Problem:
214.44/50.55	 b(a(c(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(a(c(b(a(c(a(x1)))))))))))))
214.44/50.55	
214.44/50.55	Proof:
214.44/50.55	 Open
214.44/50.56	EOF