Ground theory information is incorrect+incomplete

[Broes De Cat]

The vocabulary of a ground theory is incorrect (is the original vocabulary). It is impossible to retrieve the structure underlying the ground theory (type information of introduced types). Also link with original symbols is lost.