Assertion list for term "compute the doppler correction".

Results from Ascent++: 1
algorithm CapableOfcompute the doppler correction 0.30