[PPL-devel] Asking for confirmation: ppl_Polyhedron_add_constraints()

When I add constraint system to polyhedron by ppl_Polyhedron_add_constraings(poly, consys), it looks like consys is cleared to universe. Is this a right behavior? I naively thought the consys would be preserved. Is this related to the recycle issue between ordinary polyhedron instantiation and recycled instantiation? Thanks in advance.