Ground theory information is incorrect+incomplete
Issue #444
new
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.