Place the pressure cooker over a medium to hot flame and add the oil.
Put in one of the shanks and brown all over in the oil, then do the same with the other and put both aside.
Stir in the onions and garlic then, when they're softened, add the other ingredients except the broad beans.
Turn up the heat, put on the lid and bring up to pressure. Cook for 30 minutes then allow to depressurise by itself. Stir in broad beans and cook for a couple of minutes.
Serve with rice or pasta, sprinkled over with parsley.