Assertion list for term "exposed to the melt surface".

Results from Ascent++: 1
shell ReceivesActionexposed to the melt surface 0.25