17.4 Bugs

• The simplification procedure is very dumb and this results in many redundant cases to explore.
  
  
• Much too slow.
  
  
• Certainely plenty other bugs !! You can report them to
  
  

  Pierre.Cregut@cnet.francetelecom.fr