<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/abstr.xsl"?><abstr><astnode id="146" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="7" endline="34"/><astnode id="1" label="TypDefn" name="b"><location begcolumn="1" begline="1" endcolumn="12" endline="1"/><astnode id="0" label="AtomType" name="BOOL"><location begcolumn="9" begline="1" endcolumn="12" endline="1"/></astnode></astnode><astnode id="145" label="DefFunDefn" name="main"><location begcolumn="1" begline="2" endcolumn="7" endline="34"/><astnode id="142" label="Nodes&lt;ParDefn&gt;"/><astnode id="2" label="NameType" name="b"><location begcolumn="14" begline="2" endcolumn="14" endline="2"/></astnode><astnode id="144" label="Exprs"><location begcolumn="5" begline="3" endcolumn="7" endline="34"/><astnode id="143" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="3" endcolumn="7" endline="34"/><astnode id="141" label="LetExpr"><location begcolumn="5" begline="3" endcolumn="7" endline="34"/><astnode id="138" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="3" endcolumn="29" endline="3"/><astnode id="4" label="VarDefn" name="b1"><location begcolumn="9" begline="3" endcolumn="18" endline="3"/><astnode id="3" label="NameType" name="b"><location begcolumn="18" begline="3" endcolumn="18" endline="3"/></astnode></astnode><astnode id="6" label="VarDefn" name="b2"><location begcolumn="20" begline="3" endcolumn="29" endline="3"/><astnode id="5" label="NameType" name="b"><location begcolumn="29" begline="3" endcolumn="29" endline="3"/></astnode></astnode></astnode><astnode id="140" label="Exprs"><location begcolumn="9" begline="4" endcolumn="11" endline="33"/><astnode id="139" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="4" endcolumn="11" endline="33"/><astnode id="137" label="IfThenElseExpr"><location begcolumn="9" begline="4" endcolumn="11" endline="33"/><astnode id="13" label="BinExpr" name="OR"><location begcolumn="12" begline="4" endcolumn="32" endline="4"/><astnode id="11" label="BinExpr" name="OR"><location begcolumn="12" begline="4" endcolumn="26" endline="4"/><astnode id="9" label="BinExpr" name="AND"><location begcolumn="12" begline="4" endcolumn="20" endline="4"/><astnode id="7" label="NameExpr" name="b1"><location begcolumn="12" begline="4" endcolumn="13" endline="4"/></astnode><astnode id="8" label="NameExpr" name="b2"><location begcolumn="19" begline="4" endcolumn="20" endline="4"/></astnode></astnode><astnode id="10" label="NameExpr" name="b1"><location begcolumn="25" begline="4" endcolumn="26" endline="4"/></astnode></astnode><astnode id="12" label="NameExpr" name="b2"><location begcolumn="31" begline="4" endcolumn="32" endline="4"/></astnode></astnode><astnode id="134" label="Exprs"><location begcolumn="13" begline="5" endcolumn="39" endline="5"/><astnode id="133" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="5" endcolumn="39" endline="5"/><astnode id="20" label="BinExpr" name="OR"><location begcolumn="13" begline="5" endcolumn="39" endline="5"/><astnode id="18" label="BinExpr" name="AND"><location begcolumn="13" begline="5" endcolumn="30" endline="5"/><astnode id="16" label="BinExpr" name="AND"><location begcolumn="13" begline="5" endcolumn="21" endline="5"/><astnode id="14" label="NameExpr" name="b2"><location begcolumn="13" begline="5" endcolumn="14" endline="5"/></astnode><astnode id="15" label="NameExpr" name="b1"><location begcolumn="20" begline="5" endcolumn="21" endline="5"/></astnode></astnode><astnode id="17" label="AtomExpr" name="true"><location begcolumn="27" begline="5" endcolumn="30" endline="5"/></astnode></astnode><astnode id="19" label="AtomExpr" name="false"><location begcolumn="35" begline="5" endcolumn="39" endline="5"/></astnode></astnode></astnode></astnode><astnode id="136" label="Exprs"><location begcolumn="13" begline="7" endcolumn="15" endline="32"/><astnode id="135" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="7" endcolumn="15" endline="32"/><astnode id="132" label="LetExpr"><location begcolumn="13" begline="7" endcolumn="15" endline="32"/><astnode id="129" label="Nodes&lt;Defn&gt;"><location begcolumn="17" begline="7" endcolumn="37" endline="7"/><astnode id="22" label="VarDefn" name="b1"><location begcolumn="17" begline="7" endcolumn="26" endline="7"/><astnode id="21" label="NameType" name="b"><location begcolumn="26" begline="7" endcolumn="26" endline="7"/></astnode></astnode><astnode id="24" label="VarDefn" name="b2"><location begcolumn="28" begline="7" endcolumn="37" endline="7"/><astnode id="23" label="NameType" name="b"><location begcolumn="37" begline="7" endcolumn="37" endline="7"/></astnode></astnode></astnode><astnode id="131" label="Exprs"><location begcolumn="17" begline="8" endcolumn="19" endline="31"/><astnode id="130" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="8" endcolumn="19" endline="31"/><astnode id="128" label="IfThenElseExpr"><location begcolumn="17" begline="8" endcolumn="19" endline="31"/><astnode id="31" label="BinExpr" name="OR"><location begcolumn="20" begline="8" endcolumn="40" endline="8"/><astnode id="29" label="BinExpr" name="OR"><location begcolumn="20" begline="8" endcolumn="34" endline="8"/><astnode id="27" label="BinExpr" name="AND"><location begcolumn="20" begline="8" endcolumn="28" endline="8"/><astnode id="25" label="NameExpr" name="b1"><location begcolumn="20" begline="8" endcolumn="21" endline="8"/></astnode><astnode id="26" label="NameExpr" name="b2"><location begcolumn="27" begline="8" endcolumn="28" endline="8"/></astnode></astnode><astnode id="28" label="NameExpr" name="b1"><location begcolumn="33" begline="8" endcolumn="34" endline="8"/></astnode></astnode><astnode id="30" label="NameExpr" name="b2"><location begcolumn="39" begline="8" endcolumn="40" endline="8"/></astnode></astnode><astnode id="125" label="Exprs"><location begcolumn="21" begline="9" endcolumn="47" endline="9"/><astnode id="124" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="9" endcolumn="47" endline="9"/><astnode id="38" label="BinExpr" name="OR"><location begcolumn="21" begline="9" endcolumn="47" endline="9"/><astnode id="36" label="BinExpr" name="AND"><location begcolumn="21" begline="9" endcolumn="38" endline="9"/><astnode id="34" label="BinExpr" name="AND"><location begcolumn="21" begline="9" endcolumn="29" endline="9"/><astnode id="32" label="NameExpr" name="b2"><location begcolumn="21" begline="9" endcolumn="22" endline="9"/></astnode><astnode id="33" label="NameExpr" name="b1"><location begcolumn="28" begline="9" endcolumn="29" endline="9"/></astnode></astnode><astnode id="35" label="AtomExpr" name="true"><location begcolumn="35" begline="9" endcolumn="38" endline="9"/></astnode></astnode><astnode id="37" label="AtomExpr" name="false"><location begcolumn="43" begline="9" endcolumn="47" endline="9"/></astnode></astnode></astnode></astnode><astnode id="127" label="Exprs"><location begcolumn="21" begline="11" endcolumn="23" endline="30"/><astnode id="126" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="11" endcolumn="23" endline="30"/><astnode id="123" label="LetExpr"><location begcolumn="21" begline="11" endcolumn="23" endline="30"/><astnode id="120" label="Nodes&lt;Defn&gt;"><location begcolumn="25" begline="11" endcolumn="45" endline="11"/><astnode id="40" label="VarDefn" name="b1"><location begcolumn="25" begline="11" endcolumn="34" endline="11"/><astnode id="39" label="NameType" name="b"><location begcolumn="34" begline="11" endcolumn="34" endline="11"/></astnode></astnode><astnode id="42" label="VarDefn" name="b2"><location begcolumn="36" begline="11" endcolumn="45" endline="11"/><astnode id="41" label="NameType" name="b"><location begcolumn="45" begline="11" endcolumn="45" endline="11"/></astnode></astnode></astnode><astnode id="122" label="Exprs"><location begcolumn="25" begline="12" endcolumn="27" endline="29"/><astnode id="121" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="12" endcolumn="27" endline="29"/><astnode id="119" label="IfThenElseExpr"><location begcolumn="25" begline="12" endcolumn="27" endline="29"/><astnode id="49" label="BinExpr" name="OR"><location begcolumn="28" begline="12" endcolumn="48" endline="12"/><astnode id="47" label="BinExpr" name="OR"><location begcolumn="28" begline="12" endcolumn="42" endline="12"/><astnode id="45" label="BinExpr" name="AND"><location begcolumn="28" begline="12" endcolumn="36" endline="12"/><astnode id="43" label="NameExpr" name="b1"><location begcolumn="28" begline="12" endcolumn="29" endline="12"/></astnode><astnode id="44" label="NameExpr" name="b2"><location begcolumn="35" begline="12" endcolumn="36" endline="12"/></astnode></astnode><astnode id="46" label="NameExpr" name="b1"><location begcolumn="41" begline="12" endcolumn="42" endline="12"/></astnode></astnode><astnode id="48" label="NameExpr" name="b2"><location begcolumn="47" begline="12" endcolumn="48" endline="12"/></astnode></astnode><astnode id="116" label="Exprs"><location begcolumn="29" begline="13" endcolumn="55" endline="13"/><astnode id="115" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="13" endcolumn="55" endline="13"/><astnode id="56" label="BinExpr" name="OR"><location begcolumn="29" begline="13" endcolumn="55" endline="13"/><astnode id="54" label="BinExpr" name="AND"><location begcolumn="29" begline="13" endcolumn="46" endline="13"/><astnode id="52" label="BinExpr" name="AND"><location begcolumn="29" begline="13" endcolumn="37" endline="13"/><astnode id="50" label="NameExpr" name="b2"><location begcolumn="29" begline="13" endcolumn="30" endline="13"/></astnode><astnode id="51" label="NameExpr" name="b1"><location begcolumn="36" begline="13" endcolumn="37" endline="13"/></astnode></astnode><astnode id="53" label="AtomExpr" name="true"><location begcolumn="43" begline="13" endcolumn="46" endline="13"/></astnode></astnode><astnode id="55" label="AtomExpr" name="false"><location begcolumn="51" begline="13" endcolumn="55" endline="13"/></astnode></astnode></astnode></astnode><astnode id="118" label="Exprs"><location begcolumn="29" begline="15" endcolumn="32" endline="28"/><astnode id="117" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="15" endcolumn="32" endline="28"/><astnode id="114" label="Exprs"><location begcolumn="29" begline="15" endcolumn="32" endline="28"/><astnode id="113" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="15" endcolumn="32" endline="28"/><astnode id="84" label="LetExpr"><location begcolumn="30" begline="15" endcolumn="31" endline="21"/><astnode id="81" label="Nodes&lt;Defn&gt;"><location begcolumn="34" begline="15" endcolumn="54" endline="15"/><astnode id="58" label="VarDefn" name="b1"><location begcolumn="34" begline="15" endcolumn="43" endline="15"/><astnode id="57" label="NameType" name="b"><location begcolumn="43" begline="15" endcolumn="43" endline="15"/></astnode></astnode><astnode id="60" label="VarDefn" name="b2"><location begcolumn="45" begline="15" endcolumn="54" endline="15"/><astnode id="59" label="NameType" name="b"><location begcolumn="54" begline="15" endcolumn="54" endline="15"/></astnode></astnode></astnode><astnode id="83" label="Exprs"><location begcolumn="33" begline="16" endcolumn="35" endline="20"/><astnode id="82" label="Nodes&lt;Expr&gt;"><location begcolumn="33" begline="16" endcolumn="35" endline="20"/><astnode id="80" label="IfThenElseExpr"><location begcolumn="33" begline="16" endcolumn="35" endline="20"/><astnode id="67" label="BinExpr" name="OR"><location begcolumn="36" begline="16" endcolumn="56" endline="16"/><astnode id="65" label="BinExpr" name="OR"><location begcolumn="36" begline="16" endcolumn="50" endline="16"/><astnode id="63" label="BinExpr" name="AND"><location begcolumn="36" begline="16" endcolumn="44" endline="16"/><astnode id="61" label="NameExpr" name="b1"><location begcolumn="36" begline="16" endcolumn="37" endline="16"/></astnode><astnode id="62" label="NameExpr" name="b2"><location begcolumn="43" begline="16" endcolumn="44" endline="16"/></astnode></astnode><astnode id="64" label="NameExpr" name="b1"><location begcolumn="49" begline="16" endcolumn="50" endline="16"/></astnode></astnode><astnode id="66" label="NameExpr" name="b2"><location begcolumn="55" begline="16" endcolumn="56" endline="16"/></astnode></astnode><astnode id="77" label="Exprs"><location begcolumn="37" begline="17" endcolumn="63" endline="17"/><astnode id="76" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="17" endcolumn="63" endline="17"/><astnode id="74" label="BinExpr" name="OR"><location begcolumn="37" begline="17" endcolumn="63" endline="17"/><astnode id="72" label="BinExpr" name="AND"><location begcolumn="37" begline="17" endcolumn="54" endline="17"/><astnode id="70" label="BinExpr" name="AND"><location begcolumn="37" begline="17" endcolumn="45" endline="17"/><astnode id="68" label="NameExpr" name="b2"><location begcolumn="37" begline="17" endcolumn="38" endline="17"/></astnode><astnode id="69" label="NameExpr" name="b1"><location begcolumn="44" begline="17" endcolumn="45" endline="17"/></astnode></astnode><astnode id="71" label="AtomExpr" name="true"><location begcolumn="51" begline="17" endcolumn="54" endline="17"/></astnode></astnode><astnode id="73" label="AtomExpr" name="false"><location begcolumn="59" begline="17" endcolumn="63" endline="17"/></astnode></astnode></astnode></astnode><astnode id="79" label="Exprs"><location begcolumn="37" begline="19" endcolumn="41" endline="19"/><astnode id="78" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="19" endcolumn="41" endline="19"/><astnode id="75" label="AtomExpr" name="false"><location begcolumn="37" begline="19" endcolumn="41" endline="19"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="112" label="LetExpr"><location begcolumn="29" begline="22" endcolumn="31" endline="28"/><astnode id="109" label="Nodes&lt;Defn&gt;"><location begcolumn="33" begline="22" endcolumn="53" endline="22"/><astnode id="86" label="VarDefn" name="b1"><location begcolumn="33" begline="22" endcolumn="42" endline="22"/><astnode id="85" label="NameType" name="b"><location begcolumn="42" begline="22" endcolumn="42" endline="22"/></astnode></astnode><astnode id="88" label="VarDefn" name="b2"><location begcolumn="44" begline="22" endcolumn="53" endline="22"/><astnode id="87" label="NameType" name="b"><location begcolumn="53" begline="22" endcolumn="53" endline="22"/></astnode></astnode></astnode><astnode id="111" label="Exprs"><location begcolumn="33" begline="23" endcolumn="35" endline="27"/><astnode id="110" label="Nodes&lt;Expr&gt;"><location begcolumn="33" begline="23" endcolumn="35" endline="27"/><astnode id="108" label="IfThenElseExpr"><location begcolumn="33" begline="23" endcolumn="35" endline="27"/><astnode id="95" label="BinExpr" name="OR"><location begcolumn="36" begline="23" endcolumn="56" endline="23"/><astnode id="93" label="BinExpr" name="OR"><location begcolumn="36" begline="23" endcolumn="50" endline="23"/><astnode id="91" label="BinExpr" name="AND"><location begcolumn="36" begline="23" endcolumn="44" endline="23"/><astnode id="89" label="NameExpr" name="b1"><location begcolumn="36" begline="23" endcolumn="37" endline="23"/></astnode><astnode id="90" label="NameExpr" name="b2"><location begcolumn="43" begline="23" endcolumn="44" endline="23"/></astnode></astnode><astnode id="92" label="NameExpr" name="b1"><location begcolumn="49" begline="23" endcolumn="50" endline="23"/></astnode></astnode><astnode id="94" label="NameExpr" name="b2"><location begcolumn="55" begline="23" endcolumn="56" endline="23"/></astnode></astnode><astnode id="105" label="Exprs"><location begcolumn="37" begline="24" endcolumn="63" endline="24"/><astnode id="104" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="24" endcolumn="63" endline="24"/><astnode id="102" label="BinExpr" name="OR"><location begcolumn="37" begline="24" endcolumn="63" endline="24"/><astnode id="100" label="BinExpr" name="AND"><location begcolumn="37" begline="24" endcolumn="54" endline="24"/><astnode id="98" label="BinExpr" name="AND"><location begcolumn="37" begline="24" endcolumn="45" endline="24"/><astnode id="96" label="NameExpr" name="b2"><location begcolumn="37" begline="24" endcolumn="38" endline="24"/></astnode><astnode id="97" label="NameExpr" name="b1"><location begcolumn="44" begline="24" endcolumn="45" endline="24"/></astnode></astnode><astnode id="99" label="AtomExpr" name="true"><location begcolumn="51" begline="24" endcolumn="54" endline="24"/></astnode></astnode><astnode id="101" label="AtomExpr" name="false"><location begcolumn="59" begline="24" endcolumn="63" endline="24"/></astnode></astnode></astnode></astnode><astnode id="107" label="Exprs"><location begcolumn="37" begline="26" endcolumn="41" endline="26"/><astnode id="106" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="26" endcolumn="41" endline="26"/><astnode id="103" label="AtomExpr" name="false"><location begcolumn="37" begline="26" endcolumn="41" endline="26"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></abstr>