anchor.diff:              get_next_rename_var_command({File1, NextFileGen1}, FA, 
                                           OldVarName, NewVarName, SearchPaths, -1)
       end;
  -get_next_rename_var_command({File, {lazy_file_gen, NextFileGen}}, FA, 
  +get_next_rename_var_command({File, NextFileGen}, FA, 
                               OldVarName, NewVarName, SearchPaths, N) ->
       Cmds=rename_var_1(File, FA, OldVarName, NewVarName, SearchPaths),
       case Cmds of 
           [] ->
  -            get_next_rename_var_command({File, {lazy_file_gen, NextFileGen}}, FA, 
  +            get_next_rename_var_command({File, NextFileGen}, FA, 
                                           OldVarName, NewVarName, SearchPaths, 0);
           [R|Rs] when N==-1 ->
               {R,{lazy_gen, fun()->
                                     get_next_rename_var_command(
  -                                    {File, {lazy_file_gen, NextFileGen}}, FA,
  +                                    {File, NextFileGen}, FA,
                                       OldVarName, NewVarName, SearchPaths, length(Rs))
                             end}};
           _ ->
  
positive.code:                     File;
                  _ ->
                      throw({error, "Invalid specification of the target file "
                             "for `move function' refactoring."})
              end
      end.
  
  
negative.code:                                                          OrigFA, ClauseIndex, SearchPaths)
                                                 end}}
                      end;
                  none -> [Refac]
              end;
          {{TgtFile1, F,A},  {TgtFile2, NextTgtFileGen2}, NextFAGen}->
              Refac= fold_expr_1(File, TgtFile1, F, A, ClauseIndex, SearchPaths),
  