XS0043 005 (AB)

The pipeline

<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:identity>
      <p:with-input>
         <a-doc/>
      </p:with-input>
   </p:identity>
   <p:if test="true()">
      <p:with-input port="source">
         <doc/>
      </p:with-input>
      <p:identity>
         <p:with-input>
            <true/>
         </p:with-input>
      </p:identity>
   </p:if>
</p:declare-step>