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

[Hosung Song]

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.