MAYBE
219.41/55.52	MAYBE
219.41/55.52	
219.41/55.52	Problem:
219.41/55.52	 c(b(a(b(a(x1))))) -> a(b(a(b(a(b(c(b(c(x1)))))))))
219.41/55.52	
219.41/55.52	Proof:
219.41/55.52	 Open
219.41/55.52	EOF