Assertion list for term "compared with bt".

Results from Ascent++: 1
mm ReceivesActioncompared with bt 0.25