Assertion list
principal (primary) → HasPrerequisite
Results from Ascent++: 2
principal → HasPrerequisite → support 0.50
principal → HasPrerequisite → the performance of the contract 0.33