[BUGFIX: stop at maxLoops in debug-mode was not implemented properly
martin.hofmann@uni-bamberg.de**20091210073321] hunk ./src/Igor2/SynthesisEngine.hs 91
+    -- same as sequence !!(?)
hunk ./src/Igor2/SynthesisEngine.hs 103
-    llogNO . (text "HSpace:" <+>) . pretty $ hsp 
+    llogDE . (text "HSpace:" <+>) . pretty $ hsp 
hunk ./src/Igor2/SynthesisEngine.hs 105
-    debug <- isDebug   
+    debug <- isDebug
+    atMxL <- atMaxLoops   
hunk ./src/Igor2/SynthesisEngine.hs 111
-       else if (null ejcts) then continue cnds hsp'
-              else if debug then finishTier ejcts cnds hsp'
-                     else llogNO (linebreak <>
-                                  text "FIRST HYPOS FINISHED: reduce" <+>
-                                  text "SearchSpace and finish tier!" <>
-                                  linebreak) >>
-                          finishTier ejcts cnds emptyHSpace
-     
+     else if (debug && atMxL) then llogNO (text "MaxLoops reached") >> stopWith hypos
+      else if (null ejcts) then continue cnds hsp'
+       else if debug then finishTier ejcts cnds hsp'
+        else do llogNO (linebreak <> text "FIRST HYPOS FINISHED: reduce" <+>
+                       text "SearchSpace and finish tier!" <> linebreak)
+                finishTier ejcts cnds emptyHSpace      
hunk ./src/Igor2/SynthesisEngine.hs 121
-    if (not debug) || (debug && stop) then stopWith ejcts
+    if (not debug) || stop then stopWith ejcts