Polyhedron() constructor can return Empty or Universe