Ascent++
Search
successful change
subgroup of
change
,
1
assertions
HasProperty
1
possible
0.59