修复轨迹回放验证

UVA方法从已解决的修复轨迹中改写问题，只有当改写后的问题披露的私有实体更少，且修复过程能在相同执行状态下通过修复轨迹回放验证时，才保留该改写。

修复轨迹回放验证通过模拟在相同执行状态下仅依据抽象化后的问题描述重新运行修复轨迹中的关键步骤，检查是否能达到相同的修复结果。