Assertion list
operation (aspect of cpu ) → AtLocation
Results from Ascent++: 1
operation → AtLocation → progress 0.25