Assertion list for term "remove the tin cladding".

Results from Ascent++: 1
present CapableOfremove the tin cladding 0.16