@Nullable
  DFAType getCachedInferredType(int descriptorId, @NotNull Instruction instruction) {
    if (descriptorId == 0) {
      return null;
    }
    return myVarTypes[instruction.num()].get().get(descriptorId);
  }
@Nullable
  DFAType getCachedInferredType(int descriptorId, @NotNull Instruction instruction)