public @NotNull DfaVariableValue createVariableValue(@NotNull VariableDescriptor descriptor) {
      return createVariableValue(descriptor, null);
    }
public @NotNull DfaVariableValue createVariableValue(@NotNull VariableDescriptor descriptor)