Assertion list
crucifixion (primary) → UsedFor
Results from Ascent++: 1
crucifixion → UsedFor → slave 0.20