Assertion list
periphery (primary) → HasProperty

Results from Ascent++: 1
peripheryHasProperty insolvent 0.16