Assertion list
buggy (primary) → HasProperty
Results from Ascent++: 5
buggy → HasProperty → visible 0.41
buggy → HasProperty → safe 0.37
buggy → HasProperty → free 0.33
buggy → HasProperty → strong 0.27
buggy → HasProperty → fast 0.20