Assertion list
open port (subgroup of port ) → HasA
Results from Ascent++: 1
open port → HasA → adverse effect 0.59