Assertion list
satellite nest (subgroup of nest ) → ReceivesAction
Results from Ascent++: 1
satellite nest → ReceivesAction → composed of worker 0.38