Assertion list
overhaul (primary) → HasProperty
Results from Ascent++: 2
overhaul → HasProperty → necessary 0.51
overhaul → HasProperty → expensive 0.25