Assertion list
array (primary) → UsedFor
Results from Ascent++: 4
array → UsedFor → output 0.36
array → UsedFor → data collection 0.25
array → UsedFor → further random-number generation 0.25
array → UsedFor → tree 0.25