Assertion list
input (aspect of flop ) → HasProperty

Results from Ascent++: 1
inputHasProperty high 0.25