anchor.diff:  	] end}}.
   
   prop_map_statem() ->
  -	%?FORALL(Cmds, triq_statem:commands(?MODULE), begin
   	?FORALL(Cmds, proper_statem:commands(?MODULE), begin
   		{_Hist, _State, Res} = run_commands(?MODULE, Cmds),
   		Res == ok
  
positive.code: -module(rpgb_handle_map_tests).
  
  -include_lib("proper/include/proper.hrl").
  %-include_lib("proper/include/proper_statem.hrl").
  -include_lib("eunit/include/eunit.hrl").
  %-include_lib("triq/include/triq.hrl").
  %-include_lib("triq/include/triq_statem.hrl").
  -include("rpg_battlemap.hrl").
  
  % both eunit and triq define let, triq lets (heh) eunit win
  % so, setting up a triqlet
  %-define(TRIQLET(X,Gen1,Gen2), 
  %	?DOMAIN_MODULE:bind(Gen1, fun(X)->Gen2 end)).
  
  -define(cookie, begin
  	{Head, Cookie} = cowboy_cookies:cookie(<<"rpgbsid">>, <<"sessionid">>),
  
negative.code: 	])), uniquify(X)).
  
  g_name() ->
  	?LET(N,
  	list(
  		frequency([
  