Polyhedron_is_infinite: use Polyhedron_Sample if available.