[PPL-devel] Powerset of a set of convex sets.