}

    /**
     * Sets the maximum size of an alpha-numeric term.
     * @param maxAlphanumTermSize The max size of an alpha-numeric term.
     */
    public void setMaxAlphanumTermSize(final int maxAlphanumTermSize) {
        this.maxAlphanumTermSize = maxAlphanumTermSize;
    }

    /**
     * Sets the maximum size of a symbol term.