欢迎！有关如何使用本页面的更多信息，请参阅关于页面。
使用相同的输入连续调用 run* 两次可能出现不同的结果，原因是显而易见的。见附件。
评论者：dnolen
有问题的代码错误地使用了未分配域的新变量上的有限域操作。能否提供修改后的有问题的代码版本，以展示修改后的问题？
评论者：maurolopes
当然。我刚刚添加了一个新的代码版本，其中涉及到有限域操作的每个变量都已分配了有限域。问题仍然存在。
此问题可能相关于 LOGIC-162。
