<div dir="ltr"><div>> I don't understand. If AllPositive becomes false, then we don't return 
NoAlias later; why does it matter if we do the remaining checks -- 
AllPositive will remain false once it has been set to false, right?<br><br>That's true - I just wanted to make sure that if anyone introduced more alias-guessing logic just before the final "return PartialAlias" they wouldn't introduce a subtle bug. I could just mention this in a comment there though? Thanks -<br><br></div>Nick<br></div>