[commented tracings, maybe usefull later
martin.hofmann@uni-bamberg.de**20091014113948] hunk ./src/SynthesisEngine.hs 60
+--    traceA = (\o@(c,d) -> (tp $ "LOOPS " ++ (show . loops $ c) ++ " CYCLES " ++ (show . cycles $ c) ) o )
+--    traceB = (\h -> ( tp $ "LOOPS " ++ (show . loops . callings $ h)++ " CYCLES " ++ (show . cycles . callings $ h)  ) h )