Assertion list
lobster (primary) → HasPrerequisite
Results from Ascent++: 1
lobster → HasPrerequisite → less time 0.25