Assertion list
smart contract (subgroup of contract ) → HasA
Results from Ascent++: 1
smart contract → HasA → bug 0.30