code: public static IConjunct simplify( IConjunct conjunct)
      {
      return
        conjunct.getDisjunctCount() == 1
        ? conjunct.getDisjuncts().next()
        : conjunct;
      }
docs: Returns the simple form of the given conjunction.