Assertion list
output (aspect of function ) → HasSubevent

Results from Ascent++: 1
outputHasSubevent the alu output register 0.29