Assertion list for term "respond with rst".

Results from Ascent++: 1
closed port (subgroup of port) CapableOfrespond with rst 0.68