Assertion list
binding contract (subgroup of contract ) → HasProperty
Results from Ascent++: 1
binding contract → HasProperty → enforceable 0.28