public VariableSet intersect(VariableSet vs) {
		VariableSet intersection = new VariableSet();
		intersection.grow(Math.min(count, vs.count));
		big_loop: for (int i = 0; i < count; i++) {
			LocalInfo li = locals[i];
			int slot = li.getSlot();
			if (vs.containsSlot(slot) && !intersection.containsSlot(slot))
				intersection.locals[intersection.count++] = li.getLocalInfo();
		}
		return intersection;
	}