Assertion list
new block (subgroup of block ) → IsA
Results from Ascent++: 2
new block → IsA → a shadow block 0.28
new block → IsA → one shared block 0.25