anchor.diff:          {ok, #variable{type=Type, value=Value}=Variable} ->
               case derflow_ets:is_inflation(Type, Value, NewValue) of
                   true ->
  -                    dict:store(Id, Variable#variable{value=Value}, Store0);
  +                    dict:store(Id, Variable#variable{value=NewValue}, Store0);
                   false ->
                       Store0
               end
  
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:     #state{ets=?ETS, types=?LATTICES, store=dict:new()}.
  
  %% Generate commands
  command(#state{ets=Ets, types=Types, store=Store}) ->
      Variables = dict:fetch_keys(Store),
      oneof(
          [{call, ?MODULE, declare,
            [oneof([elements(Types), undefined]), Ets]}] ++
          [{call, ?MODULE, read,
            [elements(Variables), undefined, Ets]} || length(Variables) > 0] ++
          [?LET({Variable, GeneratedValue}, {elements(Variables), nat()},
  