Assertion list for term "start to thaw".

Results from Ascent++: 1
pipe CapableOfstart to thaw 0.46