Assertion list for term "never be erased".
Results from Ascent++: 2
memory → ReceivesAction → never be erased 0.33
name → ReceivesAction → never be erased 0.29