Pressure Cooker Garlicky Beans With Broccoli Rabe

dried cannellini or other white beans

garlic cloves: 4 smashed, 3 thinly sliced

plus 1/2 cup extra-virgin olive oil, plus more as needed

kosher salt, plus more as needed

large sprig fresh rosemary

bay leaf

carrot, trimmed

large or 2 small red onions, halved and thinly sliced

fresh broccoli rabe, woody ends trimmed

crushed red pepper flakes