Assertion list
method (aspect of interface ) → AtLocation
Results from Ascent++: 1
method → AtLocation → object class 0.25