真正安全的惰性判定需要语义等价 + 可替代性两个条件同时成立：不仅内容被别处复述，而且被复述的那一处也必然出现在后续所有可达路径中。