Changed output to indicate that the tests differ on subsumption.
Authored by: tswift 2009-02-21
Parent: [r6258]
Child: [r6260]