gice a nice error message if ps fails because witness already exists