we have a pull request on github for making things in the Constrained_triangulation_plus_2 deterministic. github.com/CGAL/cgal/pull/8273