1. Heat a saucepan and roast cumin seeds lightly, then spread out onto a paper towel to cool. 2. Put pork and all sauce ingredients into an Instant Pot, starting with the vegetables at the bottom. 3. Grind the cumin in a mortar if you have one, although I used my trusty coffee grinder for this.