@Override
    public @NotNull DfaCallState updateState(@NotNull DfaCallState state) {
      DfaValueFactory factory = state.getReturnValue().getFactory();
      DfaCallArguments callArguments = state.getCallArguments();
      DfaValue value = callArguments.myQualifier;
      if (!(value instanceof DfaVariableValue) && !DfaTypeValue.isUnknown(value) && !(value.getDfType() instanceof DfConstantType)) {
        DfaVariableValue var = makeVariable(state, factory, value);
        return state.withArguments(new DfaCallArguments(var, callArguments.myArguments, callArguments.myMutation));
      }
      return state;
    }
@Override
    public @NotNull DfaCallState updateState(@NotNull DfaCallState state)