Assertion list
nit (primary) → HasProperty
Results from Ascent++: 2
nit → HasProperty → good 0.26
nit → HasProperty → small 0.25