Assertion list
block (primary) → HasPrerequisite
Results from Ascent++: 2
block → HasPrerequisite → power-of-two slope 0.33
block → HasPrerequisite → a bias of zero 0.31