conformal abort points

[happytuna@gmail.com]

doesn anybody know any tricks for getting conformal to compare abort
points?

i have a simple cone of logic that doesn't seem complicated. i can
pretty much "eyeball" it in the schematic viewer and verifiy its
logicially equivalent myself. this is an rtl2gate run.

i've tried a high effort compare on them and also tried a compare with
the "flow partitioning". but have had zero success.

i've run this design using formality and its finished no problem.