DfaValue (@NotNull DfaValueFactory factory, @NotNull DfaMemoryState state, @NotNull DfaValue @NotNull ... arguments) { DfaValue value = arguments[0]; if (value instanceof DfaBinOpValue) { value = factory.fromDfType(state.getDfType(value)); } return factory.getWrapperFactory().createWrapper(myTargetType, myDerivedVariableDescriptor, value); }