anchor.diff:  %%%============================================================================
   %%% Internal functions
   %%%============================================================================
  -execute(Action) -> Action(), gen_server:cast(?SERVER, next).+execute(Action) -> 
  +    F = fun() -> Action(), gen_server:cast(?SERVER, next),
  +    spawn(F).
positive.code:         true -> ok;
          false ->
              {value, Action} = queue:peek(NewQ),
              spawn(fun() -> execute(Action) end)
      end,
      {noreply, NewQ}.
  
  
negative.code: handle_cast({enqueue, Action}, Q) ->
      NewQ = queue:in(Action, Q),
      case queue:is_empty(Q) of
          execute(Action),
          false -> ok
      end,
      {noreply, NewQ};
  