Assertion list
resin (primary) → UsedFor
Results from Ascent++: 1
resin → UsedFor → metal 0.38