[Improved Heuristic!!
martin.hofmann@uni-bamberg.de**20100105140159] hunk ./src/Igor2/Data/Hypotheses.hs 195
+         let numNonConstBinds = numberOfNonConstBinds h  -- better than numTotalRules !!!
hunk ./src/Igor2/Data/Hypotheses.hs 204
-                  numTotalRules
+                  numNonConstBinds
hunk ./src/Igor2/Data/Hypotheses.hs 218
+-- count the number of all functions with more than one rule in a hypothese 
+numberOfNonConstBinds :: Hypo -> Int 
+numberOfNonConstBinds =  length . (filter ((>1) . S.size . snd)) . allBindings