Assertion list
domain (aspect of function ) → AtLocation
Results from Ascent++: 1
domain → AtLocation → the blacklist 0.25