def divideAll(self, divisor):
        divisor = float(divisor)
        for key in self:
            self[key] /= divisor
Dumb utility mechanism to increment deletion counter
dataset/ETHPy150Open rlpy/rlpy/rlpy/Domains/PacmanPackage/util.py/Counter.divideAll--crossover with--dataset/ETHPy150Open ARM-software/workload-automation/wlauto/external/louie/test/test_saferef.py/TestSaferef._closure