Assertion list
llama (primary) → HasPrerequisite
Results from Ascent++: 1
llama → HasPrerequisite → haircut 0.41