if (!(x instanceof vCset)) { iRuntime.error(120, x); } vCset result = new vCset((java.util.BitSet) ((vCset)x).t.clone());
x = x.mkCset(); vCset result = new vCset((java.util.BitSet) ((vCset)x).t);
vValue Intersect(vDescriptor x) {    if (!(x instanceof vCset)) {        iRuntime.error(120, x);    }    vCset result = new vCset((java.util.BitSet) ((vCset)x).t.clone());    result.t.and(this.t);    return result;}