Test that port names are optional
Tests p:with-input: input port names may not be explicitly repeated.