anchor.diff:    end;
   
   handle_command({is_det, Id}, _From, State=#state{variables=Variables}) ->
  -    [{_Key, #dv{bounded=Bounded}}] = ets:lookup(Variables, Id),
  -    {reply, Bounded, State};
  +    [{_Key, #dv{bound=Bound}}] = ets:lookup(Variables, Id),
  +    {reply, Bound, State};
   
   handle_command(_Message, _Sender, State) ->
       {noreply, State}.
  
positive.code:     lager:info("Declare received: ~p ~p", [Id, Type]),
      Record = case Type of
          undefined ->
              #dv{value=undefined, type=undefined, bounded=false};
          Type ->
              #dv{value=Type:new(), type=Type, bounded=true}
      end,
      true = ets:insert(Variables, {Id, Record}),
      {ok, Id}.
  
negative.code:         _ ->
              next_key(V#dv.next, V#dv.type, State)
      end,
      case V#dv.bound of
          true ->
              case V#dv.value of
                  Value ->
  