Season beef with salt, pepper and minced garlic
Chop 1 onion in 4 big wedges
Place in the beef pressure cooker with the 4 wedges of onion and the stock
Pressure cook for 20 minutes
Release the pressure and open the lid
Remove the beef and SAVE 2 cups of stock in another container
With 2 forks, shred the beef. Beef should be tender enough to so easily. If not, cook for another 10 minutes
Press the saute button of the Instant pot. Add the olive oil
When the machine beeps, add the sliced onion, pepper and tomatoes. Cook until tender
Add the shredded beef back in the pot and mix
Pour in 1 1/2 cups of the saved stock, the Worcestershire sauce, tomato paste, ketchup and cumin. Mix
If sauce seems to dry, add a tad more of stock
Season with salt and pepper
Serve!