/div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;00133 \textcolor{stringliteral}{    Height\_storey(storey\_i,1);}</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;00134 \textcolor{stringliteral}{  if (storey\_i &gt; 1 )}</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;00135 \textcolor{stringliteral}{     Level\_floor(storey\_i, 1) = ...}</div>
<div class="line"><a name="l00140"></a><span class="lineno"