We should overwrite the method that will be defined in https://github.com/JuliaPolyhedra/Polyhedra.jl/issues/67 since CDD has this information.