isTwoClausePureDisjunctionWithTerms