Rinse and sort beans. Put beans in pressure cooker with 3x as much water (approximately 2c beans and 6c of water, or whatever your pressure cooker manual recommends.) Cook on high pressure for 8 minutes (or according to your machine’s directions.) While the beans are cooking, mince the garlic, and dice the onions and peppers. Drain beans and return to pressure cooker, then add vegetables (except corn), spices, tomato paste, and water. Cook on high pressure for 4 minutes. Add corn and cook an additional 2-3 minutes.