anchor.diff:      [{_Key, #dv{waiting_threads=Threads,
                   binding_list=BindingList,
                   lazy=Lazy}}] = ets:lookup(Variables, Key),
  +    lager:info("Waiting threads are: ~p", [Threads]),
       Functions = lists:usort(Functions0),
       {ok, StillWaiting} = reply_to_all(Threads, [], {ok, Value, Next}),
       V1 = #dv{type=Type, value=Value, functions=Functions, next=Next,
  
positive.code:                                     {reply, {ok, Value, V#dv.next}, State};
                                  false ->
                                      WT = lists:append(V#dv.waiting_threads,
                                                        [{From, Type, Threshold}]),
                                      true = ets:insert(Variables,
                                                        {Id, V#dv{waiting_threads=WT}}),
                                      {noreply, State}
  
negative.code:                     case is_lattice(V#dv.type) of
                          true ->
                              write(V#dv.type, Value, NextKey, [], Id, Variables),
                              case is_strict_inflation(V#dv.type, V#dv.value, Value) of
                                  true ->
                                      lager:info("Change is inflation: ~p ~p",
                                                 [V#dv.value, Value]),
  