反应驱动力追踪器

先追踪离子是否离开溶液，再决定能否写出净离子方程式。选一条反应路径，逐步验证。