void Assume() { if (!_expr) this.StateImpl.Exception = new Z.ZingAssumeFailureException(_exprString); }