Assertion list for term "never invalidated".
Results from Ascent++: 2
range → ReceivesAction → never invalidated 0.36
covenant → ReceivesAction → never invalidated 0.31