Assertion list for term "changed since the most recent backup".
Results from Ascent++: 1
block → ReceivesAction → changed since the most recent backup 0.46