Assertion list for term "reach desired position".

Results from Ascent++: 1
stent CapableOfreach desired position 0.25