Assertion list for term "set to select the output of the latch".

Results from Ascent++: 1
multiplexer ReceivesActionset to select the output of the latch 0.30