public void Simplify() { lock (this._ctxLock) { if (this.Solver_Dirty) { ToolsZ3.Consolidate(false, this.Solver, this.Solver_U, this._ctx); this.Solver_Dirty = false; } if (this.Solver_U_Dirty) { ToolsZ3.Consolidate(true, this.Solver, this.Solver_U, this._ctx); this.Solver_U_Dirty = false; } } }