16.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