Assertion list
strudel (primary) → HasProperty
Results from Ascent++: 2
strudel → HasProperty → crisp 0.55
strudel → HasProperty → flaky 0.30