Assertion list
anonymous function (subgroup of function ) → HasProperty
Results from Ascent++: 1
anonymous function → HasProperty → useful 0.23