Assertion list
array (primary) → HasPrerequisite
Results from Ascent++: 1
array → HasPrerequisite → massive workarounds 0.23