if (!type.asArray().getElementType().isPrimitiveType()) type = OPT_ClassLoaderProxy.JavaLangObjectArrayType; registerUse(s, type); registerDef(s, b, type);
if (type.isArrayType()) { if (!type.asArray().getElementType().isPrimitiveType()) type = OPT_ClassLoaderProxy.JavaLangObjectArrayType; registerUse(s, type); registerDef(s, b, type); }
  private void astoreHelper (OPT_Instruction s, OPT_BasicBlock b) {    // TODO: use some class hierarchy analysis    VM_Type type = AStore.getArray(s).getType();    if (!type.asArray().getElementType().isPrimitiveType())      type = OPT_ClassLoaderProxy.JavaLangObjectArrayType;    registerUse(s, type);    registerDef(s, b, type);  }