Mélanger le sucre brun, la sauce soja, la sauce Worcestershire, le sel, la poudre d'ail, le poivre noir, le quatre-épices, la cannelle et l'arôme liquide dans un bol. Ajouter les queues de bœuf et mélanger jusqu'à ce qu'elles soient bien enrobées.

Allumez l'Instant Pot et sélectionnez la fonction Sauté. Quand c'est chaud, ajoutez l'huile et placez les queues de bœuf, côté plat vers le bas, à l'intérieur. Faites-les dorer de tous les côtés, environ 5 minutes. Transférez-les dans un bol et réservez.

Versez 2 cuillères à soupe de bouillon de bœuf dans la cocotte pour déglacer, en raclant tous les morceaux dorés. Ajoutez les carottes, l'oignon, les oignons verts, l'ail et le piment Scotch bonnet. Faites sauter jusqu'à ce que les oignons soient ramollis, environ 5 minutes. Remettez les queues de bœuf dans la cocotte avec le reste du bouillon de bœuf, le ketchup et le thym. Annulez la fonction Sauté.

Fermez et verrouillez le couvercle de l'Instant Pot. Sélectionnez la haute pression. Cuire pendant 45 minutes, en permettant 10 à 15 minutes pour que la pression monte.

Libérez la pression naturellement pendant 20 à 40 minutes, déverrouillez et retirez le couvercle.