Assertion list for term "coupled to second output of the splitter".

Results from Ascent++: 1
output ReceivesActioncoupled to second output of the splitter 0.30