1.Place beans in a medium bowl, cover with cold water; stand overnight. Rinse under cold water; drain.
2.Heat 2 teaspoons of the oil in a 6-litre (24-cup) pressure cooker; cook beef until browned all over. Remove from cooker.
3.Combine 1 tablespoon of the oil with mustard, half the garlic, paprika and parsley in a small bowl; rub mixture all over beef.
4.Heat remaining oil in cooker; cook onion, remaining garlic, chilli and half the basil, stirring, until onion softens. Add beans, tomatoes and stock; top with beef. Secure lid; bring cooker to high pressure. Reduce heat to stabilise pressure; cook 30 minutes.
5.Release pressure using the quick release method (see below); remove lid. Remove beef, cover; stand 10 minutes. Stir remaining basil into bean mixture. Serve beef with beans.
If you have an electric pressure cooker you won’t need to reduce the heat to stabilise pressure, your cooker will automatically stabilise itself. Always check the manufacturer’s instructions before using. This is a large serving of meat. Cooking time is for medium to well-done beef. Cook more or less depending on how you like your beef. This recipe is not suitable to freeze. QUICK RELEASE METHOD Each time the lid is removed from the cooker, the pressure must be released quickly first. Use tongs (steam can burn your fingers) to turn the pressure valve on top of the cooker to open the valve and release the steam. We use this method when adding ingredients and when checking the food toward the end of cooking time.