Semiclassical chaos in the Witten model