anchor.diff:      end.
   
   %% @doc Return the binding status of a given dataflow variable.
  +%%
   is_det(Id, Store) ->
       [{_Key, #dv{bound=Bound}}] = ets:lookup(Store, Id),
       {ok, Bound}.
   
   %% @doc Spawn a function.
  +%%
   thread(Module, Function, Args, _Store) ->
       Fun = fun() -> erlang:apply(Module, Function, Args) end,
       Pid = spawn(Fun),
  
positive.code: 
  %% @doc Determine if a change for a given type is a strict inflation or
  %%      not.
  is_lattice_strict_inflation(riak_dt_gset, undefined, Current) ->
      is_lattice_inflation(riak_dt_gset, undefined, Current);
  is_lattice_strict_inflation(riak_dt_gset, Previous, Current) ->
  
negative.code:     NextKey0.
  
  %% @doc Determine if a threshold is met.
  %%
  threshold_met(riak_dt_gset, Value, {strict, Threshold}) ->
      is_strict_inflation(riak_dt_gset, Threshold, Value);
  threshold_met(riak_dt_gset, Value, Threshold) ->
  