documentation
skeleton of minimizeDClosureAllocations()