When merging to alias sets, if they are both must alias, the result is not