@Nullable
  DFAType getVariableType(int descriptor) {
    return descriptor != 0 && !myProhibitedCachingVars.get(descriptor) ? myVarTypes.get(descriptor) : null;
  }
@Nullable
  DFAType getVariableType(int descriptor)