anchor.diff:  	      expression -> true;
   	      guard_expression -> true;
   	      application_op -> true;
  -	      record_field ->true;
  -	      record_type -> true;
   	      generator -> true;
   	    _ -> false
   	  end;
  
positive.code: 			 end,
  		 Field1 = add_category(Field, record_field),
  		 Node1 = rewrite(Node, refac_syntax:record_access(Argument1, Type1, Field1)),
  		 {refac_syntax:add_ann({category, expression}, Node1), true};
  	     record_expr ->
  		 Argument = refac_syntax:record_expr_argument(Node),
  		 Type = refac_syntax:record_expr_type(Node),
  
negative.code: 		 Type1 = add_category(Type, record_type),
  		 Fields1 = add_category(Fields, C),
  		 Node1 = rewrite(Node, refac_syntax:record_expr(Argument1, Type1, Fields1)),
  		 {refac_syntax:add_ann({category, C}, Node1), true};
  	     record_index_expr ->
  		 Type = refac_syntax:record_index_expr_type(Node),
  		 Field = refac_syntax:record_index_expr_field(Node),
  		 Type1 = add_category(Type, record_type),
  		 Field1 = add_category(Field, C),
  		 Node1 = rewrite(Node, refac_syntax:record_index_expr(Type1, Field1)),
  		 {refac_syntax:add_ann({category, C}, Node1), true};
  	     record_field ->
  		 Name = refac_syntax:record_field_name(Node),
  		 Name1 = add_category(Name, record_field),
  