Assertion list
finding (aspect of inspector ) → HasA
Results from Ascent++: 1
finding → HasA → cross-cutting aspect 0.33