So you imply that all mutating methods should have overrides which throw UOE; that is doable, but I’m not sure whether it will help us. Would you mind creating a ticket which includes the motivation and an estimation of the success probability?