Assertion list
power (aspect of mutation ) → HasProperty

Results from Ascent++: 1
powerHasProperty low 0.43