Assertion list
checking account (primary) → HasProperty

Results from Ascent++: 6
checking accountHasProperty free 0.69
checking accountHasProperty open 0.34
checking accountHasProperty liquid 0.33
checking accountHasProperty right 0.30
checking accountHasProperty low 0.16
checking accountHasProperty secure 0.16