Assertion list for term "appear at the output".

Results from Ascent++: 1
signal CapableOfappear at the output 0.17