Did you mean to call `extractDisjuncts` here? You should add a test for this :)