While steak marinates, start cooking the beans. Add the whole can of pinto beans (including liquid) to a pot with some water (~1/4 cup), minced garlic, ground cumin, salt, pepper and lime juice and cook over medium heat. As the beans soften, mash them up a bit with a fork and continued to cook until most of the liquid is absorbed to your preference.