Assertion list
marina (primary) → ReceivesAction
Results from Ascent++: 3
marina → ReceivesAction → built 0.37
marina → ReceivesAction → protected 0.33
marina → ReceivesAction → maintained 0.16