anchor.diff:  }) when map_size(ToFlush) =:= 0, map_size(ToExpire) =:= 0, map_size(KiF) =:= 0 ->
       true;
   allow_terminate(_) ->
  -    false.+    false.
  +
  +-spec schedule_terminate_check(ReplyTo :: {pid(), Tag :: term()}) -> TimerRef :: reference().
  +schedule_terminate_check(ReplyTo) ->
  +    erlang:send_after(?TERMINATE_CHECK_INTERVAL, self(), {check_terminate, ReplyTo}).
positive.code:             gen_server:reply(ReplyTo, ok),
              {stop, normal, State};
          false ->
              erlang:send_after(?TERMINATE_CHECK_INTERVAL, self(), Msg),
              {noreply, State}
      end;
  handle_info(Info, #state{} = State) ->
  
negative.code: -spec schedule_flush(state(), non_neg_integer()) -> state().
  schedule_flush(State = #state{cached_keys_to_flush = Map, requests_ref = undefined}, _Delay)
      when map_size(Map) == 0 ->
      % Nothing to flush and no requests are waiting for flush confirmation
      State;
  schedule_flush(State = #state{cached_keys_to_flush = Map, keys_in_flush = KiF}, _Delay)
      when map_size(Map) == 0, map_size(KiF) =/= 0 ->
  