Does this amount to "effectiveOwner, but skip local dummies" the same way that effectiveOwner is "owner, but skip package objects" ? Like dealiasWidenAndChaseUpperBounds, further steps down this road threaten a compositional nightmare. Is there anyone who can better justify the need for and operation of local dummies in the first place? It would be far better if we didn't have this fluctuating owner chain which requires manual management of what should be jumped.