Assertion list for term "refrozen without problem".

Results from Ascent++: 1
paste CapableOfrefrozen without problem 0.24