Instant Pot Pressure Cooker Pork Goulash

pork steak – 700 g whole tomatoes – 2 tins(800g) mushrooms – 200 g onion – 2 garlic glove – 3 bay leaf – 2 fresh basil – 20 g salt – 1 teaspoon Italian seasoning – 1 …