[modify heuristic (use numTotalRules)
martin.hofmann@uni-bamberg.de**20100107130211] hunk ./src/Igor2/Data/Hypotheses.hs 204
-                  numNonConstBinds
+--                  numNonConstBinds
+                  numTotalRules