Assertion list
private (primary) → HasProperty
Results from Ascent++: 3
private → HasProperty → good 0.70
private → HasProperty → bad 0.25
private → HasProperty → clean 0.16