boolean dataOk = true;
boolean universeOk = true;
for (Abstract.Constructor constructor : def.getConstructors()) {
visitor.getContext().clear();
SortMax conSorts = new SortMax();
<BUG>Constructor typedConstructor = typeCheckConstructor(constructor, dataDefinition, visitor, conSorts);
</BUG>
visitor.getTypecheckingState().record(constructor, typedConstructor);
if (!typedConstructor.status().headerIsOK()) {
dataOk = false;

boolean dataOk = true;
boolean universeOk = true;
for (Abstract.Constructor constructor : def.getConstructors()) {
visitor.getContext().clear();
SortMax conSorts = new SortMax();
Constructor typedConstructor = typeCheckConstructor(constructor, dataDefinition, visitor, conSorts, dataDefinitions);
visitor.getTypecheckingState().record(constructor, typedConstructor);
if (!typedConstructor.status().headerIsOK()) {
dataOk = false;
