Assertion list
thaw (primary) → HasProperty
Results from Ascent++: 1
thaw → HasProperty → irreversible 0.68