anchor.diff:      {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
  
positive.code:     Functions0 = V#dv.functions,
      if
          Bounded == true ->
              case is_lattice(Type) of
                  true ->
                      case Function of
  
negative.code:     VariableAtom = list_to_atom(Variables),
      VariableAtom = ets:new(VariableAtom, [set, named_table, public,
                                            {write_concurrency, true}]),
      {ok, #state{partition=Partition, variables=VariableAtom}}.
  
  handle_command({declare, Id, Type}, _From,
                 State=#state{variables=Variables}) ->
      lager:info("Declare received: ~p ~p", [Id, Type]),
      Record = case Type of
          undefined ->
              #dv{value=undefined, type=undefined, bounded=false};
  