anchor.diff:  
   -include_lib("stdlib/include/ms_transform.hrl").
   
  +-define(CHECK(Cond,Term),
  +	case (catch (Cond)) of
  +	    true -> true;
  +	    _ -> io:format("###### CHECK FAILED ######~nINPUT:  ~p~n", [Term]),
  +		 exit(Term)
  +	end).
  +
   suite() -> [].
   
   all() -> [
  
positive.code: 	t_update_assoc,t_update_exact,
  	t_guard_bifs, t_guard_sequence, t_guard_update,
  	t_guard_receive,t_guard_fun, t_list_comprehension,
  	t_map_equal,
  	t_map_sort_literals,
  
  	%% Specific Map BIFs
  
negative.code: 	t_list_comprehension/1,
  	t_map_sort_literals/1,
  	t_map_equal/1,
  	t_map_compare/1,
  	%t_size/1,
  	t_map_size/1,
  
  