Change cases into pcases.