Assertion list
dram (primary) → HasA
Results from Ascent++: 4
dram → HasA → 500 nanoseconds 0.44
dram → HasA → a body size 0.25
dram → HasA → locating key 0.25
dram → HasA → notch 0.25