anchor.diff:  		  true ->
   		      case SM of
   			eqc_statem ->
  -			      Node1 = refac_syntax:remove_comments(refac_util:reset_attrs(Node)),
  -			      Es2 =  transform_run_command_statem(Node1, RecordName, RecordFields, IsTuple),
  -			      {refac_syntax:copy_comments(Node, set_pos(refac_syntax:get_pos(Node), Es2)), true};
  +			    Node1 = refac_syntax:remove_comments(refac_misc:reset_attrs(Node)),
  +			    Es2 = transform_run_command_statem(Node1, RecordName, RecordFields, IsTuple),
  +			    {refac_syntax:copy_comments(Node, set_pos(refac_syntax:get_pos(Node), Es2)), true};
   			eqc_fsm ->
  -			      Node1 = refac_syntax:remove_comments(refac_util:reset_attrs(Node)),
  -			      Node2 = transform_run_command_fsm(Node1, RecordName, RecordFields, IsTuple),
  -			      {refac_syntax:copy_comments(Node, set_pos(refac_syntax:get_pos(Node), Node2)), true}
  +			    Node1 = refac_syntax:remove_comments(refac_misc:reset_attrs(Node)),
  +			    Node2 = transform_run_command_fsm(Node1, RecordName, RecordFields, IsTuple),
  +			    {refac_syntax:copy_comments(Node, set_pos(refac_syntax:get_pos(Node), Node2)), true}
   		      end;
   		  false ->
   		      {Node, false}
  
positive.code: 	  end
      end.
   
     	    
  make_record_to_tuple_app(Expr, RecordName, RecordFields, IsTuple, TupleToRecordFunName, RecordToTupleFunName) ->
      case IsTuple of 
  	false ->
  	    refac_util:rewrite(Expr, refac_syntax:record_access(Expr, refac_syntax:atom(RecordName),
  								refac_syntax:atom(hd(RecordFields))));
  	true ->
  	    NewExpr = refac_util:rewrite(Expr, refac_syntax:application(
  					   refac_syntax:atom(RecordToTupleFunName), [Expr])),
  	    case is_app(Expr, {TupleToRecordFunName, 1}) of
  		true ->
  		    hd(refac_syntax:application_arguments(Expr));
  		false ->
  		    NewExpr
  	    
  	    end
      end.
  
  
  mk_record_field(Name, Val) ->
      refac_util:rewrite(Val, refac_syntax:record_field(
  			      refac_util:rewrite(Val, refac_syntax:atom(Name)),
  			      refac_syntax:remove_comments(Val))).
  
  mk_record_fields(RecordFields, Es) ->
  
negative.code: transform_run_command_statem(State, RecordName, RecordFields, IsTuple) ->
      Es1 = [refac_syntax:record_access(State, refac_syntax:atom(RecordName), refac_syntax:atom(Field))
  	   || Field <- RecordFields],
      Res = case IsTuple of
  	    true -> refac_syntax:tuple(Es1);
  	    false -> hd(Es1)
  	  end,
      refac_misc:rewrite(State, Res).
     
  transform_run_command_fsm(State, RecordName, RecordFields, IsTuple) ->
      StateName = refac_syntax:application(refac_syntax:atom(element), [refac_syntax:integer(1), State]),
      StateVal = refac_syntax:application(refac_syntax:atom(element), [refac_syntax:integer(2), State]),
      Es2 = transform_run_command_statem(StateVal, RecordName, RecordFields, IsTuple),
      refac_misc:rewrite(State, refac_syntax:tuple([StateName, Es2])).
    
  
  wrap_fun_interface_in_arg(Form, ModName, RecordName, RecordFields, IsTuple, StateFuns, SM,
  