basis_reduction_pip: abort on invalid (empty) input polytope