Assertion list
deep freeze (primary) → ReceivesAction
Results from Ascent++: 2
deep freeze → ReceivesAction → removed 0.43
deep freeze → ReceivesAction → activated 0.25