Beef Noodle Soup

1.In a medium pot, fill halfway with water and bring to a boil. Add beef shank and boil for 7 minutes. Drain and rinse beef, then set aside.
2.In your Instant Pot hit the saute button then add oil. Once oil is heated add garlic, ginger, green onions, onion, dried chilies, and cinnamon stick until fragrant. Add beef shanks, chili bean paste, sweet bean paste, and beef bouillon and brown for a few minutes. Add soy sauce and cook for 2 minutes. Add tomatoes, rice wine, carrots, and rock sugar then hit cancel on Instant Pot. Add 7 cups of water.
3.In a stock bag add fennel, peppercorns, star anise, and cloves. Then add to the Instant Pot. Hit meat/stew button and set for 40 minutes. When done, let the pressure naturally release. Skim the oil off the surface of broth and discard.
4.In a medium pot boil you choy for a few minutes until softened. Add noodles and prepare according to package instructions.
5.To serve, add noodles to each of the bowls then top with you choy. Pick out pieces of beef and add to each bowl. Ladle broth on top of noodles. Top with pickled mustard greens and cilantro.