Assertion list for term "halt the solidification".

Results from Ascent++: 1
oxygen CapableOfhalt the solidification 0.30