Tidy up CGAL::do_overlap function.