Assertion list
global variable (subgroup of variable ) → HasProperty
Results from Ascent++: 4
global variable → HasProperty → visible 0.52
global variable → HasProperty → static 0.50
global variable → HasProperty → bad 0.36
global variable → HasProperty → useful 0.30