I don't think we need to test this. I suspect one would directly overwrite the method in the original module by simply reopening it. This double definition has too much boilerplate code for a simple configuration.