Assertion list for term "local minimum".

Results from Ascent++: 1
derivative HasAlocal minimum 0.36