/// <summary>
        /// Adds a MSF row to the Z3 assertions.
        /// </summary>
        /// <param name="rid">The MSF row id</param>
        private void AddRow(int rid)
        {
            // Start with the 0 term
            ArithExpr row = MkGoalRow(rid);

            _solver.AssertArith(rid, row);
        }
        /// <summary>
        /// Adds a MSF row to the Z3 assertions.
        /// </summary>
        /// <param name="rid">The MSF row id</param>
        private void AddRow(int rid)
        {
            if (IsConstant(rid))
            {
                return;
            }

            if (IsBoolRow(rid))
            {
                _solver.AssertBool(MkBool(rid));
                return;
            }
            // Start with the 0 term
            ArithExpr row = MkTerm(rid);

            _solver.AssertArith(rid, row);
        }