Assertion list
randomness (primary) → ReceivesAction
Results from Ascent++: 3
randomness → ReceivesAction → defined 0.43
randomness → ReceivesAction → intertwined 0.25
randomness → ReceivesAction → removed 0.25