Improvments of rewriting - Optimizations - Bug fixes - Documentation and tests Questions : - Point on installation of the software - Signature of the rewriter.rewrite method (do we add the factbase ?) - Where do we put the technical documentation - Benchmarking protocol