Pressure Cooker Garlicky Beans With Broccoli Rabe Recipe

Ingredients

• 1 pound dried cannellini or other white beans
• 7 garlic cloves: 4 smashed, 3 thinly sliced
• 4 tablespoons plus 1/2 cup extra-virgin olive oil, plus more as needed
• 2 1/2 teaspoons kosher salt, plus more as needed
• 1 large sprig fresh rosemary
• 1 bay leaf
• 1 carrot, trimmed
• 1 large or 2 small red onions, halved and thinly sliced
• 1 pound fresh broccoli rabe, woody ends trimmed
• 1/8 teaspoon crushed red pepper flakes