Modified test cases to work with PPL::NNC_Polyhedron instead of PPL::C_Polyhedron.