@Override
    public DfaValue bindToFactory(@NotNull DfaValueFactory factory) {
      return factory.mySentinelValue;
    }
@Override
    public DfaValue bindToFactory(@NotNull DfaValueFactory factory)