DfaCallState (@NotNull DfaCallState state) { DfaValueFactory factory = state.getReturnValue().getFactory(); DfaCallArguments callArguments = state.getCallArguments(); DfaValue value = makeDfaValue(factory, callArguments); if (!(value instanceof DfaVariableValue) && !DfaTypeValue.isUnknown(value) && !(value.getDfType() instanceof DfConstantType)) { DfaVariableValue var = makeVariable(state, factory, value); DfaValue[] newArgs = callArguments.getArguments().clone(); newArgs[myIndex] = var; return state.withArguments(new DfaCallArguments(callArguments.myQualifier, newArgs, callArguments.myMutation)); } return state; }