Assertion list
bloat (primary) → HasProperty
Results from Ascent++: 2
bloat → HasProperty → fatal 0.62
bloat → HasProperty → fine 0.37