anchor.diff:          _ ->
               next_key(V#dv.next, V#dv.type, State)
       end,
  +    lager:info("Value is: ~p NextKey is: ~p", [Value, NextKey]),
       case V#dv.bound of
           true ->
               case V#dv.value of
  
positive.code:     [{_Key, #dv{waiting_threads=Threads,
                  binding_list=BindingList,
                  lazy=Lazy}}] = ets:lookup(Variables, Key),
      Functions = lists:usort(Functions0),
      {ok, StillWaiting} = reply_to_all(Threads, [], {ok, Value, Next}),
      V1 = #dv{type=Type, value=Value, functions=Functions, next=Next,
  
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]),
  