当无法在模型中完全重新生成简化表示时报告错误。此检测可能需要很长的时间。使用“ModelCHECK 重新生成”(ModelCHECK Regenerate) 命令或使用“批处理”模式运行它。

建议的设置：