fix SFS valid, CGAL invalid polygon, (still buggy)
cgal can generate self intersecting polygons on a difference