Assertion list
cinch (primary) → ReceivesAction
Results from Ascent++: 1
cinch → ReceivesAction → tightened 0.41