Add olive oil to instant pot and set to sauté mode and add beef and onions. Sauté without the lid until beef is seared and onions begin to be translucent.
Add the garlic, paprika, and salt, stirring well.
Add enough beef broth to cover the meat.
Place the lid on the instant pot and set to high pressure for 30 minutes.
After the 30 minutes, release the pressure and remove lid.
Mix cornstarch and 3 tablespoons of water. Pour into instant pot and set to sauté mode, bringing it to a boil. Stir well until sauce begins to thicken. As it begins to thicken, turn off the heat and let sit for 5 minutes.
Serve over rice, noodles or traditional Czech dumplings (recipe here)
Prague Smash Cocktail with Becherovka
2 parts Becherovka
2 parts pineapple juice
1 part lime juice
6 mint leaves
Splash of lemon-lime soda
Dash Angostura bitters
In a mixing glass, muddle the mint.
Add the Becherovka, pineapple juice and citrus, and shake over ice.
Pour into glass and top with soda.
Stir and top with two dashes of Angostura bitters.