Yes, that’s why I don’t suggest blanching them first; just simmer the beans in the mushroom gravy until tender. Cook until they turn bright green and are tender with a slight crunch.