Assertion list for term "kept bent".

Results from Ascent++: 1
arm ReceivesActionkept bent 0.31