Assertion list for term "cooled to temperature".

Results from Ascent++: 1
mold ReceivesActioncooled to temperature 0.36