Assertion list for term "correct deviation".

Results from Ascent++: 1
monitor CapableOfcorrect deviation 0.35