Assertion list
packer (primary) → UsedFor
Results from Ascent++: 1
packer → UsedFor → such pressuring operations 0.25