[Spot] Re: Support for tgba_powerset() in Python