Assertion list
static budget (subgroup of budget ) → HasProperty
Results from Ascent++: 1
static budget → HasProperty → most effective 0.68