<indus:compositeConfiguration 
    xmlns:indus="http://indus.projects.cis.ksu.edu/indus"
    xmlns:slicer="http://indus.projects.cis.ksu.edu/slicer"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    indus:activeConfiguration="backward-executable">
	<indus:configurationInfo xsi:type="slicer:slicerConfiguration" slicer:executableSlice="true" 
		slicer:slicetype="BACKWARD_SLICE" indus:name="backward-executable" slicer:sliceForDeadlock="true"> 
	   	<slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" 
			slicer:useOFA="true"/>
	    <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
	    <slicer:ready slicer:active="true" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" 
	        slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"
	        slicer:useSafeLockAnalysis="true"/> 
	</indus:configurationInfo>
	<indus:configurationInfo xsi:type="slicer:slicerConfiguration" slicer:executableSlice="false" 
		slicer:slicetype="BACKWARD_SLICE" indus:name="backward" slicer:sliceForDeadlock="true"> 
	   	<slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" 
			slicer:useOFA="true"/>
	    <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
	    <slicer:ready slicer:active="true" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" 
	        slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"
	        slicer:useSafeLockAnalysis="true"/> 
	</indus:configurationInfo>
	<indus:configurationInfo xsi:type="slicer:slicerConfiguration" slicer:executableSlice="false" 
		slicer:slicetype="FORWARD_SLICE" indus:name="forward" slicer:sliceForDeadlock="true"> 
	   	<slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" 
			slicer:useOFA="true"/>
	    <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
	    <slicer:ready slicer:active="true" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" 
	        slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"
	        slicer:useSafeLockAnalysis="true"/> 
	</indus:configurationInfo>
	<indus:configurationInfo xsi:type="slicer:slicerConfiguration" slicer:executableSlice="true" 
		slicer:slicetype="COMPLETE_SLICE" indus:name="complete" slicer:sliceForDeadlock="true"> 
	   	<slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" 
			slicer:useOFA="true"/>
	    <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
	    <slicer:ready slicer:active="true" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" 
	        slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"
	        slicer:useSafeLockAnalysis="true"/> 
	</indus:configurationInfo>
</indus:compositeConfiguration>
