jay! expression reduction seems to work. integrated powerset algorithm seems to do the job.