anchor.diff:      Functions0 = V#dv.functions,
       if
           Bounded == true ->
  +            lager:info("Read received: ~p, bound: ~p", [X, V]),
               case is_lattice(Type) of
                   true ->
                       case Function of
  
positive.code:             end,
              {reply, {ok, Value, V#dv.next}, State};
          true ->
              if
                  Lazy == true ->
                      WT = lists:append(V#dv.waiting_threads, [From]),
  
negative.code:     {noreply, State};
  handle_command({bind, Id, Value}, _From,
                 State=#state{variables=Variables}) ->
      lager:info("Bind received: ~p", [Id]),
      [{_Key, V}] = ets:lookup(Variables, Id),
      NextKey = next_key(V#dv.next, V#dv.type),
      case V#dv.bounded of
  