Assertion list
number (aspect of node ) → UsedFor
Results from Ascent++: 1
number → UsedFor → ring topology 0.25