anchor.diff:  
   
   compile() ->
  -  eqc_c_cover_start(tree).
  -
  -eqc_c_cover_start(File) ->
  -  eqc_c:start(File, [definitions_only, {cflags, "-coverage"}]).
  +  eqc_c:start(tree, [definitions_only, {cflags, "-coverage"}]).
   
   cleanup() ->
  -  eqc_c_cover_stop().
  +  eqc_c:stop().
   
  -eqc_c_cover_stop() ->
  -  eqc_c:stop().
  
positive.code: initial_state() ->
    [].
  
  
  %% generators
  
  
negative.code: prop_tree() ->
    ?SETUP(fun() ->
               compile(),
               fun() -> cleanup() 
               end
           end,
    ?FORALL(Cmds, commands(?MODULE),
  