anchor.diff:  	cucumberise_teststeps_aux(TestCase, []).
   
   cucumberise_teststeps_aux([], CucumberisedTestSteps) ->
  -	cucumberise({scenario, lists:reverse(CucumberisedTestSteps)});
  +	lists:flatten(cucumberise({scenario, lists:reverse(CucumberisedTestSteps)}));
   % tests for QC properties
   cucumberise_teststeps_aux(Values, []) when is_tuple(Values) ->
   	cucumberise({scenario, Values});
  
positive.code: %%% @end
  %%% Created :  8 Jan 2014 by Laura M. Castro <lcastro@udc.es>
  %%%-------------------------------------------------------------------
  -module(readspec).
  
  -export([suite/3, counterexample/1]).
  
negative.code: cucumberise_teststeps_aux([{set,_,Call={call,_Module,_Function,_Args}} | MoreSteps], CucumberisedTestSteps) ->
  	cucumberise_teststeps_aux(MoreSteps, [Call | CucumberisedTestSteps]).
  
  
  % we remove spureous cases such as {scenario, []}
  cucumberise({scenario, []}) ->
  	"";
  % cucumberise QC property scenario
  cucumberise({scenario, Values}) when is_tuple(Values) ->
  	explain(Values, []);
  % cucumberise QC state machine scenario
  cucumberise({scenario, [Call={call,_Module,_Function,_Args} | MoreSteps]}) ->
  	explain(Call, MoreSteps).
  
  
  explain({call,_Module,Function,Args}, MoreSteps) ->
  	"GIVEN " ++ enumerate_list([Args]) ++
      " WHEN " ++ io_lib:fwrite("~p", [Function]) ++
  		explain_also(MoreSteps) ++
  	" THEN ** insert property postcondition here ** \n";
  explain(Values, []) ->
  	"GIVEN " ++ enumerate_list(Values) ++
  	" THEN ** insert property body here **".
  
  
  explain_also([]) ->
  	"";
  explain_also([{call,_Module,Function,_ArgsNotUsedRightNow} | MoreSteps]) ->
  	" AND " ++ io_lib:fwrite("~p", [Function]) ++
  		explain_also(MoreSteps).
  
  % ----- ----- ----- ----- ----- -----  ----- ----- ----- ----- ----- %
  
  enumerate_list(Tuple) when is_tuple(Tuple) ->
  	enumerate_list(erlang:tuple_to_list(Tuple));
  enumerate_list(List) when is_list(List) ->
  	L = [io_lib:fwrite("AND ~p ", [X]) || X <- List],
  	[$A, $N, $D, 32 | T ] = lists:flatten(L),
  	T.
  
  