Assertion list for term "perform random walk".

Results from Ascent++: 1
atom CapableOfperform random walk 0.25