anchor.diff:  next_state(#state{store=Store0}=S, V, {call, ?MODULE, declare, [Type, _]}) ->
       Store = dict:store(V, #variable{type=Type}, Store0),
       S#state{store=Store};
  -next_state(S, _V, {call, ?MODULE, bind, _}) ->
  -    S;
   
   %% Next state transformation
   next_state(S,_V,{call,_,_,_}) ->
       S.
   
   precondition(#state{store=Store},
  -             {call, ?MODULE, read, [Id, _Threshold, _Store]}) ->
  +             {call, ?MODULE, read, [Id, Threshold, _Store]}) ->
       case dict:find(Id, Store) of
           error ->
               %% Not declared.
  
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
  