Assertion list for term "bound to port".
Results from Ascent++: 2
socket → ReceivesAction → bound to port 0.41
interface → ReceivesAction → bound to port 0.27