anchor.diff:          {ok, #variable{value=undefined}} ->
               %% Not bound.
               false;
  -        {ok, _} ->
  -            true
  +        {ok, #variable{type=undefined}} ->
  +            true;
  +        {ok, #variable{value=Value, type=Type}} ->
  +            case derflow_ets:threshold_met(Type, Value, Threshold) of
  +                true ->
  +                    true;
  +                false ->
  +                    false
  +            end
       end;
   
   %% Precondition, checked before command is added to the command sequence
  
positive.code:                                     X
                                    end)
                      end,
                      {call, ?MODULE, bind, [Variable, Value, Ets]}
                  end) || length(Variables) > 0]).
  
  next_state(#state{store=Store0}=S, _V, {call, ?MODULE, bind, [Id, NewValue, _]}) ->
  
negative.code:         {ok, #variable{type=Type, value=Value}=Variable} ->
              case derflow_ets:is_inflation(Type, Value, NewValue) of
                  true ->
                      dict:store(Id, Variable#variable{value=NewValue}, Store0);
                  false ->
                      Store0
              end
  