Assertion list for term "double on same path".

Results from Ascent++: 1
deer CapableOfdouble on same path 0.28