Assertion list
buggy (primary) → MadeOf
Results from Ascent++: 2
buggy → MadeOf → aluminum 0.32
buggy → MadeOf → steel 0.32