Tests XS0043 is raised because @port is not allowed on p:with-input.
Test ab-with-input-067.xml is expected to fail with error code err:XS0043.
<p:declare-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:for-each>
      <p:with-input port="source" select="/doc">
         <doc/>
         <doc/>
      </p:with-input>
      <p:identity/>
   </p:for-each>
   <p:wrap-sequence wrapper="result">
</p:declare-step>
Test anonymous input ports etc. are treated right.