@Override
  public @NotNull DfType restrictFromState(@NotNull DfaVariableValue qualifier, @NotNull DfaMemoryState state) {
    CustomMethodHandlers.CustomMethodHandler handler = CustomMethodHandlers.find(myGetter);
    if (handler != null) {
      DfaValue value = handler.getMethodResultValue(
        new DfaCallArguments(qualifier, DfaValue.EMPTY_ARRAY, MutationSignature.pure()),
        state, qualifier.getFactory(), myGetter);
      if (value != null) {
        return state.getDfType(value);
      }
    }
    return super.restrictFromState(qualifier, state);
  }
@Override
  public @NotNull DfType restrictFromState(@NotNull DfaVariableValue qualifier, @NotNull DfaMemoryState state)