Stir in the leaves and beans and cook until the beans are tender.