Assertion list
environment variable (subgroup of variable ) → HasProperty
Results from Ascent++: 1
environment variable → HasProperty → useful 0.21