smart contract subgroup of contract, 40 assertions

HasA 1
bug 0.30