Assertion list for term "coupled to vcc".

Results from Ascent++: 1
gate ReceivesActioncoupled to vcc 0.25