Assertion list
leak (primary) → HasPrerequisite
Results from Ascent++: 1
leak → HasPrerequisite → some attention 0.25