Assertion list
excess solder (subgroup of solder ) → ReceivesAction
Results from Ascent++: 1
excess solder → ReceivesAction → removed 0.84