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