DfaCallState (@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; }