Assertion list
path (aspect of eclipse ) → HasProperty
Results from Ascent++: 4
path → HasProperty → narrow 0.50
path → HasProperty → correct 0.41
path → HasProperty → visible 0.32
path → HasProperty → long 0.25