Assertion list for term "optimal stage".

Results from Ascent++: 1
concrete AtLocationoptimal stage 0.40