Assertion list for term "attached to stake".

Results from Ascent++: 1
fence ReceivesActionattached to stake 0.25