See these files:
Somehow, they trigger a CGAL assertion exception which our exception handler doesn't catch, causing a crash (std::terminate() being called) It puzzles me why this happens.
The exception handler in CGAL_Nef_polyhedron::convertToPolyset() should catch this.
It could be compiler dependant - this is only confirmed to fail on Mac OS X 10.7 using gcc llvm 4.2.1.
Issue #410 describes this better.