Set the pot to saute and add the butter.
When the butter is hot, add the diced onion and fry until softened (around 3 minutes).
Now add the chili flakes and garlic followed by the carrot and broccoli.
Add the stock and season to taste.
Put the lid on the pot and set on high pressure for 1 minute. Leave under pressure for another 5 minutes and then do a quick release.
Remove the lid and set the pot to saute. Remove around 3tbsp of liquid to a bowl with the cornstarch. Mix well together and then stir back into the pot. Stir constantly until it thickens (around 3 minutes).
Now turn the pot off and stir in the cheese and cream.
As soon as the cheese melts, serve and enjoy.