On the bottom of your Pressure cooker, drizzle olive oil. it is followed by onions. Place your beef roast on top of the onions and place garlic and the bay leaf on top of the roast. Add beef stock.
Place your pressure cooker trivet or a vegetable steamer on top of the beef. Wash your potatoes and cut them in half. Place the potatoes on the trivet.
Close your Pressure Cooker Lid
Cook on high pressure for 40 minutes
Vent right away.
Remove lid. Remove potatoes from the Pressure Cooker and set aside.
Remove Beef and place in a bowl.
Set your pressure cooker to the saute setting and add corn starch to make your gravy.
Once your gravy has been made, add the beef back in and shred it.
Make your mashed potatoes. Place potatoes in a bowl, they should melt down fast. Add butter and salt and any other things you like in mashed potatoes.
Build your sundaes in a bowl. Place mashed potatoes, followed by hot beef and gravy, cheese, sour cream and a cherry tomato on top. Add green onions for a garnish.