Make domain_union work with PPL: don't use Polyhedron->next to link unions of polyhedra.