Assertion list for term "double situation".

Results from Ascent++: 1
mold Causesdouble situation 0.31