redo variable renumbering