Assertion list
original check (subgroup of check ) → HasProperty
Results from Ascent++: 1
original check → HasProperty → readable 0.38