r7t-">x</span> is ambiguous: it could mean <span 
class="pcrr7t-">x</span> declared in <span 
class="pcrr7t-">B</span>, or <span 
class="pcrr7t-">x</span> declared in <span 
class="pcrr7t-">C</span>. The ambiguity
     could be fixed by replacing the reference to <span 
class="pcrr7t-">x</span> by <span 
class="pcrr7t-">B.x</span> or <span 
class="pcrr7t-">C.x</span>.
     </li>
     <li class="itemize">There is no reference to <span 
class="pcrr7t-">y</span>, so it is not erroneous that distinct entities c