Assertion list for term "mixed with one or more added elements".

Results from Ascent++: 1
alloy ReceivesActionmixed with one or more added elements 0.33