anchor.diff:        RealBody;
       _ ->
         Body
  +  end.
  +
  +has_ets_body({ok,{_,_,Body}}) ->
  +  case Body of
  +    ets_body ->
  +      true;
  +    _ ->
  +      false
     end.
   
   http_status_line({ok,{StatusLine,_,_}}) ->
  
positive.code:   print_commands(Rest).
    
  test() ->
    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",[])
    end.
  
  run_statem(PrivateModule,Files) ->
  
negative.code: 	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,Body]);
  	  false ->
  	    io_lib:format
  	      (" ->~n     ~p",
  