Tests p:choose with multiple output ports where some are declared as producing sequences and some not.