Tests for XS0043: Attribute port not allowed on p:with-input
Test ab-xs-0043-004.xml is expected to fail with error code err:XS0043.
<p:declare-step xmlns:c="http://www.w3.org/ns/xproc-step" xmlns:err="http://www.w3.org/ns/xproc-error" xmlns:p="http://www.w3.org/ns/xproc" version="3.0">
   <p:output port="result">
   <p:choose>
      <p:with-input port="source">
         <doc/>
      </p:with-input>
      <p:when test="true()">
         <p:identity>
            <p:with-input>
               <true/>
            </p:with-input>
         </p:identity>
      </p:when>
      <p:otherwise>
         <p:identity>
            <p:with-input>
               <false/>
            </p:with-input>
         </p:identity>
      </p:otherwise>
   </p:choose>
</p:declare-step>
Tests for XS0043