Added Powerset Construction example