diff --git a/HTab.cabal b/HTab.cabal
--- a/HTab.cabal
+++ b/HTab.cabal
@@ -1,5 +1,5 @@
 Name:                HTab
-Version:             1.5.5
+Version:             1.5.6
 Synopsis:            Tableau based theorem prover for hybrid logics
 Description:         Tableau based theorem prover for hybrid logics
 Homepage:            http://www.glyc.dc.uba.ar/intohylo/htab.php
@@ -8,7 +8,7 @@
 License:             GPL
 License-file:        COPYING
 Author:              Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
-Maintainer:          guillaume.hoffmann@loria.fr
+Maintainer:          guillaumh@gmail.com
 Cabal-version:       >= 1.6.0
 Build-type:          Simple
 
diff --git a/examples/sat/blockable1.frm b/examples/sat/blockable1.frm
deleted file mode 100644
--- a/examples/sat/blockable1.frm
+++ /dev/null
@@ -1,4 +0,0 @@
-begin
-@ N1 <> true;
-@ N1 []<> (down (X1 @ N1 <> X1))
-end
diff --git a/examples/unsat/trans01.frm b/examples/unsat/trans01.frm
deleted file mode 100644
--- a/examples/unsat/trans01.frm
+++ /dev/null
@@ -1,6 +0,0 @@
-{unsat}
-begin
-N1 & P1;
-<*>(N1 & [*](-P1 v -N1));
-[](N1 v Etrue)
-end
diff --git a/examples/unsat/trans02.frm b/examples/unsat/trans02.frm
deleted file mode 100644
--- a/examples/unsat/trans02.frm
+++ /dev/null
@@ -1,7 +0,0 @@
-begin
-<>(P1 & P2 & N1);
-<*>(N1 & -P1);
-<*>(-N1 & -[*](-N1 v P2))
-end
-
-
diff --git a/src/HTab/Branch.hs b/src/HTab/Branch.hs
--- a/src/HTab/Branch.hs
+++ b/src/HTab/Branch.hs
@@ -1,5 +1,3 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
-
 ----------------------------------------------------
 --                                                --
 -- Branch.hs                                      --
@@ -180,11 +178,16 @@
               " nextprop : " ++ showLit (nextProp br)
            ]
               where
+                  ifNotEmpty :: Emptyable a => a -> (a -> String) -> String
                   ifNotEmpty b f = if empty b then "" else f b
+
+                  showl :: (Emptyable a, Show a) => String -> a -> String
                   showl intro b  = if empty b then "" else intro ++ show b
 
+                  showIMap :: (a -> String) -> String -> IntMap a -> String
                   showIMap vShow sep = IntMap.foldWithKey (\k v -> (++ sep ++ show k ++ " -> " ++ vShow v )) ""
-                  showMap vShow sep  = Map.foldWithKey (\k v -> (++ sep ++ show k ++ " -> " ++ vShow v )) ""
+                  --
+                  showMap vShow sep  = Map.foldrWithKey (\k v -> (++ sep ++ show k ++ " -> " ++ vShow v )) ""
                   showMap_lits       = IntMap.foldWithKey (\l d   -> (++ showLit l ++ " " ++ dsShow d  ++ ", ")) ""
                   showMap_lits2      = IntMap.foldWithKey (\l fs  -> (++ showLit l ++ " " ++ ":" ++ show fs ++ ", ")) ""
                   showMap_rel        = IntMap.foldWithKey (\r dxs -> (++ "-" ++ showRel r ++ "-> " ++ show dxs ++ ", ")) ""
diff --git a/src/HTab/Formula.hs b/src/HTab/Formula.hs
--- a/src/HTab/Formula.hs
+++ b/src/HTab/Formula.hs
@@ -164,7 +164,7 @@
                      deriving (Eq, Show, Ord)
 
 showRelInfo :: RelInfo -> String
-showRelInfo = Map.foldWithKey (\r v -> (++ " " ++ showRel r ++ " -> " ++ show v )) ""
+showRelInfo = Map.foldrWithKey (\r v -> (++ " " ++ showRel r ++ " -> " ++ show v )) ""
 
 parse :: Params -> String -> (Theory,RelInfo,Encoding,[Task])
 parse p s
@@ -412,7 +412,7 @@
 handleFunInj relI =
 -- explore the hierarchy of relations starting by the leaves and ending at the top
 -- taking into account the alternations "inverseof" to enforce functionality and/or injectivity
-  Map.foldWithKey startFromLeaf relI relI
+  Map.foldrWithKey startFromLeaf relI relI
  where startFromLeaf rs props currentRelI = follow rs props currentRelI Not
 
        follow rs props currentRelI currentStatus
diff --git a/src/htab.hs b/src/htab.hs
--- a/src/htab.hs
+++ b/src/htab.hs
@@ -47,7 +47,7 @@
       else return Nothing
 
 header :: String
-header = unlines ["HTab 1.5.5",
+header = unlines ["HTab 1.5.6",
                   "G. Hoffmann, C. Areces, D.Gorin and J. Heguiabehere. (c) 2002-2011.",
                   "http://code.google.com/p/intohylo/"]