Struct-path aware TBAA: fix handling of may_alias attribute.