Assertion list for term "status leds".
Results from Ascent++: 1
port → HasA → status leds 0.46