Heat butter in a pressure cooker, add bay leaves and black peppercorns. Add onions and sauté for two minutes. Add diced pumpkin, sauté for half a minute. Add four cups water and pressure cook until one whistle is given out. Strain excess stock and reserve. Puree the vegetables. Add the reserved stock and one cup of water to puree to reach the required consistency.