Assertion list
hoard (primary) → HasProperty

Results from Ascent++: 1
hoardHasProperty safe 0.25