If either of the SSA names in a comparison do not have any equivalences 
or relations, we can short-circuit the check slightly and be a bit faster.

Bootstrapped on x86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew