Assertion list
core (aspect of cpu ) → AtLocation

Results from Ascent++: 1
coreAtLocation correct path 0.25