Assertion list
running bamboo (subgroup of bamboo ) → HasProperty
Results from Ascent++: 1
running bamboo → HasProperty → invasive 0.72