使用formality检查对比带有扫描链的门级网表在reorder之前和之后的差异

大牛们：
使用formality检查带有扫描链的门级网表在reorder之前和之后的差异。我用一个小的例子在做实验。
在setup阶段，禁止了网表的scan功能，但是verify之后，会有一个扫描输出端verify fail。查看扫描输出端的连出端一个是逻辑“0”，一个是逻辑“1”，这个是本身reorder的问题，还是我前面少写了什么设置? 大牛，求解啊！
----------------------------------------------------------------------------------------
Matched Compare PointsBBPinLoopBBNetCutPortDFFLATTOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)00001212024
Failing (not equivalent)00001001
****************************************************************************************

顶一下，求解?！