Assertion list for term "differ in practice".

Results from Ascent++: 1
sensitivity CapableOfdiffer in practice 0.25