return compressedSequence((CompressedSequence)obj, level++, varPrefix);
return compressedSequence((CompressedSequence)obj, level, varPrefix);
    private String elementString(Object obj, int level, String varPrefix) {        if (obj instanceof CompressedSequence) {            return compressedSequence((CompressedSequence)obj, level++, varPrefix);        }        else {            return indent(level++) + obj.toString();        }    }