Polyhedron_Sample: handle polyhedron becoming empty after reduction