anchor.diff:  	ResponseCode = http_result_code(Result),
   	case response_has_body(Result) of
   	  true -> 
  +	    Body =
  +	      case has_ets_body(Result) of
  +		true -> "<<abstracted_body>>";
  +		false -> http_body(Result)
  +	      end,
   	    io_lib:format
   	      (" ->~n    ~p with body ~s",
  -	       [ResponseCode,http_body(Result)]);
  +	       [ResponseCode,Body]);
   	  false ->
   	    io_lib:format
   	      (" ->~n     ~p",
  
positive.code:       RealBody;
      _ ->
        Body
    end.
  
  http_status_line({ok,{StatusLine,_,_}}) ->
  
negative.code:   print_commands(Rest).
    
  test() ->
    jsg_store:put(stats,[]),
    case eqc:quickcheck(eqc:on_output(fun eqc_printer/2,prop_ok())) of
      false ->
        io:format("~n~n***FAILED~n");
      true ->
        io:format("~n~nPASSED~n",[]),
        {ok,Stats} = jsg_store:get(stats),
        TotalCalls =
  	lists:foldl(fun ({_,N},Acc) -> N+Acc end, 0, Stats),
        SortedStats =
  	lists:sort(fun ({_,N},{_,M}) -> N>=M end, Stats),
        io:format("~nLink statistics:~n"),
        lists:foreach
  	(fun ({Name,NumCalls}) ->
  	     Percentage = (NumCalls/TotalCalls)*100,
  	     io:format("~p: ~p%~n",[Name,Percentage])
  	 end, SortedStats)
    end.
  
  run_statem(PrivateModule,Files) ->
  