use the now publicly available getDisjuncts