anchor.diff:       {{ModName, precondition, 2}, {[1], false}},
        {{ModName, command, 1}, {[1], false}},
        {{ModName, postcondition, 3}, {[1], false}},
  -     {{ModName, next_state, 3}, {[1], false}}];
  +     {{ModName, next_state, 3}, {[1], true}}];
   
   callbacks(ModName, StateFuns, eqc_fsm) ->
       CallBacks0 = [{{ModName, initial_state_data, 0}, {[], true}},
  
positive.code: 					   refac_syntax:atom(RecordToTupleFunName), [Expr])),
  	    case is_app(Expr, {TupleToRecordFunName, 1}) of
  		true ->
  	    hd(refac_syntax:application_arguments(Expr));
  		false ->
  		    NewExpr
  	    
  
negative.code: 		  end
  	  end,
      Acc = lists:append([refac_syntax_lib:fold(Fun, [], F) || F <- Forms]),
      ExistingFuns =  case lists:keysearch(functions, 1, ModInfo) of
  			{value, {functions, Funs}} ->
  			    Funs;
  			_ -> 
  			    []
  		    end,
      case lists:member({RecordToTupleFunName, 1}, Acc) andalso 
  	(not (lists:member({RecordToTupleFunName,1}, ExistingFuns))) of
  	true ->
  	    F1 = mk_record_to_tuple_fun(RecordName, RecordFields,RecordToTupleFunName),
  	    case lists:member({TupleToRecordFunName, 1}, Acc) andalso 
  		(not (lists:member({TupleToRecordFunName, 1}, ExistingFuns)))of
  		true ->
  		    F2 = mk_tuple_to_record_fun(RecordName, RecordFields,TupleToRecordFunName),
  		    Forms ++ [F1, F2];
  		false ->
  		    Forms ++ [F1]
  	    end;
  	false ->
  	    case lists:member({TupleToRecordFunName, 1}, Acc) andalso 
  		(not (lists:member({TupleToRecordFunName, 1}, ExistingFuns))) of
  		true ->
  		    F2 = mk_tuple_to_record_fun(RecordName, RecordFields, TupleToRecordFunName),
  		    Forms ++ [F2];
  		false ->
  		    Forms
  	    end
      end.
  %% ======================================================================
  
  is_statemachine_used(ModuleInfo, gen_fsm) ->
      CallBacks = [{init, 1}],
      case lists:keysearch(functions, 1, ModuleInfo) of
  	{value, {functions, Funs}} ->
  	    CallBacks -- Funs == [];
  	false ->
  	    {error, "gen_fsm callback function init/1 is not defined."}
      end;
  is_statemachine_used(ModuleInfo, eqc_statem) ->
      CallBacks = [{initial_state, 0}, {precondition, 2}, {command, 1},
  		 {postcondition, 3}, {next_state, 3}],
  