Only use the beef broth if making just the gravy without the pot roast meat. Otherwise the meat will provide additional liquid during the pressure cooking process.

Brown the pot roast in a little oil in the pressure cooker bottom. Remove pan from burner, add wine to hot pan to lift the caramelized stuff from the pan bottom. Place pan back on the burner, put the pan's rack on the bottom, and add the beef and remaining ingredients except the milk and flour. Lock lid onto the pressure cooker and cook roast according to the pressure cooker manufacturer's directions. Optionaly, you could add carrots and potatoes half way through cooking.

When cook time is over, let pan cool till pressure is gone (hint: using caution, place hot pan in sink and run cool water over the pan till pressure is gone) remove lid. Place meat on cutting board and let rest.

Remove the bay leaves, add heavy cream or sour cream to the pan and bring liquid up to a boil. Combine milk and flour and slowly stir into liquid to thicken to desired consistency. Gravy will be "lumpy" because of the raisins and mushrooms ;-)

Options: Use a stout beer instead of the dry red wine.