Do not give up early on access path oracle

[Jan Hubicka]

> 
> Hmm, !maybe_eq () -> ! max_size1 == size1 -> max_size != size1 thus
> I think && is correct if you want to disambiguate a[1].v2 and a[i].v1
> 
> But yes, if you don't want that then || is cheaper.  Probably add
> another testcase with one of the accesses with a constant index?

Hmm, OK, without unions I do not see how I could disambiguate something
with || and not &&.
Do we care about the testcase with union and constant accesses I sent?

Honza
> 
> Richard.