The pipeline
<p:declare-step xmlns:p="http://www.w3.org/ns/xproc" xmlns:test="http://test" name="main" version="3.0">
<p:output port="result"/>
<p:option name="opt1" static="true" select="p:step-available('test:step1')"/>
<p:option name="opt2" static="true" select="$opt1"/>
<p:declare-step type="test:step1">
<p:output port="result"/>
<p:identity>
<p:with-input>
<doc/>
</p:with-input>
</p:identity>
</p:declare-step>
<p:declare-step type="test:step2" use-when="$opt2">
<p:output port="result"/>
<p:identity>
<p:with-input>
<doc/>
</p:with-input>
</p:identity>
</p:declare-step>
<p:identity>
<p:with-input>
<result>
<test>{p:step-available('test:step1')}</test>
</result>
</p:with-input>
</p:identity>
</p:declare-step>
Schematron validation
<s:schema xmlns="http://www.w3.org/1999/xhtml" xmlns:s="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
<s:pattern>
<s:rule context="/">
<s:assert test="result">The document root is not “result”.</s:assert>
<s:assert test="result/test/text()='true'">p:step-available for 'test:step1' is wrong.</s:assert>
</s:rule>
</s:pattern>
</s:schema>
