Add butter (or more olive oil) to the pot and when hot add the onions and cook until softened, then add garlic and dried herbs and cook another 30 seconds, stirring. Add wine and cook down for a minute. Add carrots, potatoes, celery, tomatoes, paprika, salt, pepper and bay leaves, broth and the browned beef. Lock lid into place, turn vent (float valve) to closed, and set the function to pressure cooking, high pressure, for 15 minutes.