return dataDef;
} else {
throw new IllegalStateException();
}
}
<BUG>public static void typeCheckBody(Definition definition, CheckTypeVisitor exprVisitor) {
</BUG>
if (definition instanceof FunctionDefinition) {
typeCheckFunctionBody((FunctionDefinition) definition, exprVisitor);
} else

return dataDef;
} else {
throw new IllegalStateException();
}
}
public static void typeCheckBody(Definition definition, CheckTypeVisitor exprVisitor, Set<DataDefinition> dataDefinitions) {
if (definition instanceof FunctionDefinition) {
typeCheckFunctionBody((FunctionDefinition) definition, exprVisitor);
} else
