Heat oil in a shallow pan and splutter the mustard seeds. Saute the onions, followed by green chilies, and the curry leaves.When the onion gets translucent,add the ginger-garlic paste. Stir the mixture for 3 or 4minutes till the smell of the paste comes out.Add all the spices in set B mix well. (take care that the spices do not get over fried)Now open the pressure cooker.If the beef is well cooked,add the stock inside the cooker to the pan followed by the beef stirring continuously.