Assertion list
contract template (subgroup of template ) → HasProperty
Results from Ascent++: 1
contract template → HasProperty → free 0.68