pushValue(obj.getType(cpg));
pushValue(obj.getType(getCPG()));
	public void visitNEW(NEW obj) {		// FIXME: type is technically "uninitialized"		// However, we don't model that yet.		pushValue(obj.getType(cpg));	}