anchor.diff:      [LastExpr| Exprs] = lists:reverse(Body),
       Pos = refac_syntax:get_pos(LastExpr),
       case refac_syntax:type(LastExpr) of
  +	tuple when SM==gen_fsm ->
  +	    LastExpr1= tuple_to_record_in_gen_fsm(
  +			 LastExpr, RecordName, RecordFields, IsTuple, Msg, Pos,
  +			 TupleToRecordFunName, RecordToTupleFunName),
  +	    lists:reverse([LastExpr1| Exprs]);
   	tuple when IsTuple ->
  -	    case SM of
  -		gen_fsm ->
  -		    LastExpr1= tuple_to_record_in_gen_fsm(
  -			       LastExpr, RecordName, RecordFields, IsTuple, Msg, Pos,
  -				TupleToRecordFunName, RecordToTupleFunName),
  -		    lists:reverse([LastExpr1| Exprs]);		
  -		_ -> 
  -		    LastExpr1= tuple_to_record_expr(LastExpr, RecordName, RecordFields),
  -		    lists:reverse([LastExpr1| Exprs])
  -	    end;
  +	    LastExpr1= tuple_to_record_expr(LastExpr, RecordName, RecordFields),
  +	    lists:reverse([LastExpr1| Exprs]);	    
   	variable  ->
   	    As = refac_syntax:get_ann(LastExpr),
   	    case lists:keysearch(def, 1, As) of
  
positive.code: 	 gen_fsm_to_record/3,  gen_fsm_to_record_1/7,
  	 gen_fsm_to_record_eclipse/3, gen_fsm_to_record_1_eclipse/7]).
  
  -include("../include/wrangler.hrl").
  
  %% -define(DEBUG, true).
  
  -ifdef(DEBUG).
  -define(debug(__String, __Args), ?wrangler_io(__String, __Args)).
  
negative.code:     FieldName = lists:nth(refac_syntax:integer_value(Nth), RecordFields),
      RecordName1 = refac_syntax:atom(RecordName),
      FieldName1 = refac_syntax:atom(FieldName),
      refac_util:rewrite(Tuple, refac_syntax:record_access(Tuple, RecordName1, FieldName1)).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%    
  %%                 Transformation: setelement to record expression             %%
  