Meanwhile, preheat the pressure cooker on the Sauté function for 2 minutes. Add the onions, garlic, mushrooms and butter to the pressure cooker and cook just until the vegetables start to brown. Sprinkle with the flour and cook for 1 minute while stirring. Season with salt and pepper. Deglaze with the wine. Add the broth, mustard, paprika and meat. Mix well, cover and select the Meat function. Set the machine to cook for 25 minutes.