Assertion list for term "allowed on two walks".

Results from Ascent++: 1
run ReceivesActionallowed on two walks 0.42