[do not simplify open rules
martin.hofmann@uni-bamberg.de**20091014074136] hunk ./src/Data/Hypotheses.hs 23
-import Data.List (foldl', partition, (\\))
+import Data.List (foldl', partition, (\\), isPrefixOf)
hunk ./src/Data/Hypotheses.hs 103
-simplifiedBindings h = sbnds [] (callings h) (bindings h)
+simplifiedBindings h = sbnds [] (callings h) (allBindings h)
hunk ./src/Data/Hypotheses.hs 116
+        (not $ "*" `isPrefixOf` (show n))
+        &&