Assertion list
socket (primary) → HasSubevent
Results from Ascent++: 1
socket → HasSubevent → elastomer 0.25