Assertion list for term "repaired after the attack".

Results from Ascent++: 1
clock ReceivesActionrepaired after the attack 0.25