[Reverts the patch 'When adding IOData, give all variables a new, unique name.'
tobias@goedderz.info**20150306122743
 Ignore-this: e530f97f522de4d6e40b01e4484f65fc
 
 It doesn't seem to be possible to avoid duplicate variable names in Igor2
 completely. Therefore, the referenced patch only adds additional runtime and
 complexity without solving a problem.
] hunk ./src/Igor2/Data/IOData.hs 14
-import qualified Igor2.Data.Rules as Rules (mapRuleM, isOpen, isClosed)
+import qualified Igor2.Data.Rules as Rules (isOpen, isClosed)
hunk ./src/Igor2/Data/IOData.hs 16
-import Syntax (subterms, Name, mkName)
-import qualified Syntax
+import Syntax (Name, mkName)
hunk ./src/Igor2/Data/IOData.hs 35
-
-import qualified Control.Monad.State as CMState
-
-import qualified Data.Traversable as T
-
hunk ./src/Igor2/Data/IOData.hs 43
-    , next_var_num :: Int
hunk ./src/Igor2/Data/IOData.hs 69
-    , next_var_num = 0
hunk ./src/Igor2/Data/IOData.hs 96
-        (rs', new_next_var_num) = renameVars rs (next_var_num iod)
hunk ./src/Igor2/Data/IOData.hs 97
-        iod' = insertUnsafe n' rs' $ iod { next_var_num = new_next_var_num }
-
-type RenameState = (M.Map Name Name, Int)
-type RenameStateMonad = CMState.State RenameState
-
--- Renames all variables in the first argument to var0, var1 etc., where i in
--- vari begins with next_var_num. Returns the new Rules and the next unused i.
-renameVars :: Rules -> Int -> (Rules, Int)
-renameVars rs next_var_num = (new_rules, new_next_var_num)
-    where
-        (new_rules, (substitution, new_next_var_num)) = CMState.runState renameVarsM newRenameState
-
-        newRenameState = (M.empty, next_var_num)
-
-        renameVarsM :: RenameStateMonad (Set Rule)
-        renameVarsM = liftM S.fromList $ mapM (Rules.mapRuleM renameNode) $ S.toList rs
+        iod' = insertUnsafe n' rs iod
hunk ./src/Igor2/Data/IOData.hs 99
-        renameNode :: Syntax.TExp -> RenameStateMonad Syntax.TExp
-        renameNode (Syntax.TVarE name type') =
-            do (subst, next_var_num) <- get
-               let next_name = mkName ("var" ++ show next_var_num)
-               new_name <- maybe
-                   (put (M.insert name next_name subst, next_var_num + 1) >> return next_name)
-                   return
-                   (M.lookup name subst)
-               return (Syntax.TVarE new_name type')
-        renameNode node = return node