Assertion list
pie (primary) → HasPrerequisite
Results from Ascent++: 1
pie → HasPrerequisite → less time 0.32