Assertion list
overload (primary) → HasProperty
Results from Ascent++: 2
overload → HasProperty → useful 0.51
overload → HasProperty → large 0.16