[stopp exactly after n maxLoops, and not (n-1)
martin.hofmann@uni-bamberg.de**20090527154057] hunk ./src/SynthesisEngine.hs 101
-       else liftM2 ((==).fromInteger) maxLoops loopCount
+       else liftM2 ((==).((+1).fromInteger)) maxLoops loopCount