Assertion list for term "remain in the alloy".

Results from Ascent++: 1
gold CapableOfremain in the alloy 0.31