Simplifying Real-World Freezer Manufacturers Programs