Assertion list
public pool (subgroup of pool ) → HasProperty
Results from Ascent++: 1
public pool → HasProperty → open 0.52