Assertion list for term "used in the alloy".

Results from Ascent++: 1
oxygen ReceivesActionused in the alloy 0.35