Assertion list for term "analyzed by the ssca module".

Results from Ascent++: 1
source code ReceivesActionanalyzed by the ssca module 0.25