Assertion list for term "signal cs0#-cs3".

Results from Ascent++: 1
chip CapableOfsignal cs0#-cs3 0.11