[code cleaning
martin.hofmann@uni-bamberg.de**20091014090553] hunk ./src/SynthesisEngine.hs 57
-    return . ((,) l) . niceify $ hs'
+    return . ((,) l) . hypos2decs $ hs'
hunk ./src/SynthesisEngine.hs 65
-    niceify = hypos2decs