Assertion list
nest (aspect of heron ) → ReceivesAction
Results from Ascent++: 2
nest → ReceivesAction → built 0.68
nest → ReceivesAction → built in tree 0.25