anchor.diff:  	{ok, _CoverFile} = cover:analyse_to_file(Model), %%% [removable up to here]
   %	{ok, _CoverFile} = smother:analyse_to_file(Model), %%% [removable up to here]
   	?DEBUG("Cucumberising set of test cases~n", []),
  -	ok = file:write_file("suite.cucumberl", io_lib:fwrite("~p~n", [cucumberise_suite(eqc_suite:cases(Suite))])).
  +	ok = file:write_file("suite.cucumberl", io_lib:fwrite("SCENARIO: ~p~n", [cucumberise_suite(eqc_suite:cases(Suite))])).
   
   counterexample(Counterexample) ->
   	cucumberise_teststeps_aux(Counterexample, []).
   
  -%%% ------------------------------------------------- %%%
  +%%% -------------------------------------------------------------- %%%
   
   cucumberise_suite(Suite) ->
  -	cucumberise_testcases_aux(Suite, []).
  +	cucumberise_testcases(Suite, []).
   
  -cucumberise_testcases_aux([], CucumberisedTestCases) ->
  +
  +cucumberise_testcases([], CucumberisedTestCases) ->
   	CucumberisedTestCases;
  -cucumberise_testcases_aux([TestCase | MoreTestCases], CucumberisedTestCases) ->
  -	cucumberise_testcases_aux(MoreTestCases, [cucumberise_teststeps(TestCase) | CucumberisedTestCases]).
  +cucumberise_testcases([TestCase | MoreTestCases], CucumberisedTestCases) ->
  +	cucumberise_testcases(MoreTestCases, [cucumberise_teststeps(TestCase) | CucumberisedTestCases]).
  +
   
   cucumberise_teststeps([TestCase]) ->
   	cucumberise_teststeps_aux(TestCase, []);
  
positive.code: cucumberise_teststeps_aux([{set,_,Call={call,_Module,_Function,_Args}} | MoreSteps], CucumberisedTestSteps) ->
  	cucumberise_teststeps_aux(MoreSteps, [Call | CucumberisedTestSteps]).
  
  % one of the things to do is to remove cases such as {scenario, []}
  cucumberise({scenario, []}) ->
  	"";
  cucumberise({scenario, [Call={call,_Module,_Function,_Args} | MoreSteps]}) ->
  	explain(Call, MoreSteps);
  cucumberise({scenario, [Values]}) ->
  	"GIVEN " ++ io_lib:fwrite("~p", [Values]) ++
  	" WHEN we need the property body" ++
      " THEN true".
  
  explain({call,_Module,Function,Args}, _WeIgnoreOtherSteps) ->
  	"GIVEN " ++ io_lib:fwrite("~p", [Args]) ++
      " WHEN " ++ io_lib:fwrite("~p", [Function]) ++
  	" THEN " ++ "we need the property postcondition".
  
negative.code: 	cucumberise_teststeps_aux(TestCase, []).
  
  cucumberise_teststeps_aux([], CucumberisedTestSteps) ->
  	lists:flatten(cucumberise({scenario, lists:reverse(CucumberisedTestSteps)}));
  % tests for QC properties
  cucumberise_teststeps_aux(Values, []) when is_tuple(Values) ->
  	cucumberise({scenario, Values});
  