Assertion list
tracker (primary) → MadeOf
Results from Ascent++: 1
tracker → MadeOf → silicon 0.25