Aliasing rules for struct-path aware TBAA.