[TAG 0.5.9.6b (just before polymorphic matching)
martin.hofmann@uni-bamberg.de**20091126102650] 
<
[Better Error Handling
martin.hofmann@uni-bamberg.de**20091111155137] 
[BUGFIX: I need to use TConE for function names, otherwise matchEval and simplification of rules may not work
martin.hofmann@uni-bamberg.de**20091028151924] 
[log-file changes, prettify, extended Ratingdata
martin.hofmann@uni-bamberg.de**20091028151704] 
[heuristic added as an additional field in RatingData, not used for comparison, though
martin.hofmann@uni-bamberg.de**20091021082837] 
[option maxTiers, and implementation
martin.hofmann@uni-bamberg.de**20091021082727] 
[Modified synthesis to output tiers of alternative hypotheses
martin.hofmann@uni-bamberg.de**20091020100643
 I am not sure if whether this is good or not. I am afraid that logging will force execution until SearchSpace is exhausted, so laziness does not help here.
] 
[additional inspector function for Hypotheses
martin.hofmann@uni-bamberg.de**20091020100512] 
[insert lists into BagHeap
martin.hofmann@uni-bamberg.de**20091020100356] 
[TAG 0.5.9.6 (use sections in HO, simplification based on call graph)
martin.hofmann@uni-bamberg.de**20091019080246] 
>