vCset result = new vCset((java.util.BitSet) ((vCset)x).t.clone()); result.t.or(this.t);
vCset result = new vCset(bigger); result.t.or(smaller);
vValue Union(vDescriptor x) {    if (!(x instanceof vCset)) {        iRuntime.error(120, x);    }    vCset result = new vCset((java.util.BitSet) ((vCset)x).t.clone());    result.t.or(this.t);    return result;}