Assertion list
bundling (primary) → HasProperty

Results from Ascent++: 2
bundlingHasProperty necessary 0.68
bundlingHasProperty profitable 0.42