[some logging info added
martin.hofmann@uni-bamberg.de**20090924065709] hunk ./src/SynthesisEngine.hs 137
+    llogDE $ text "Advancements:" <+> pretty advancements