Assertion list for term "released at desired control rate".

Results from Ascent++: 1
stent CapableOfreleased at desired control rate 0.27