[jira] [Issue Comment Deleted] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Bing Li updated HIVE-14156: --- Comment: was deleted (was: Hi, Rui I didn't have a chance to try other databases, like Derby, Oracle and Postg

[jira] [Commented] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362097#comment-15362097 ] Pan Yuxuan commented on HIVE-13610: --- Test failures are unrelated. > Hive exec module wo

[jira] [Commented] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362092#comment-15362092 ] Bing Li commented on HIVE-14156: Hi, Rui I didn't have a chance to try other databases, li

[jira] [Commented] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362091#comment-15362091 ] Bing Li commented on HIVE-14156: Hi, Rui I didn't have a chance to try other databases, li

[jira] [Commented] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362082#comment-15362082 ] Hive QA commented on HIVE-13610: Here are the results of testing the latest attachment:

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Attachment: (was: HIVE-14004.01.patch) > Minor compaction produces ArrayIndexOutOfBoundsExceptio

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Attachment: HIVE-14004.01.patch > Minor compaction produces ArrayIndexOutOfBoundsException: 7 in >

[jira] [Updated] (HIVE-14152) datanucleus.autoStartMechanismMode should set to 'Ignored' to allow rolling downgrade

[ https://issues.apache.org/jira/browse/HIVE-14152?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Daniel Dai updated HIVE-14152: -- Attachment: HIVE-14152.1.patch In the patch, I also set "hive.metastore.schema.verification.record.versi

[jira] [Updated] (HIVE-14152) datanucleus.autoStartMechanismMode should set to 'Ignored' to allow rolling downgrade

[ https://issues.apache.org/jira/browse/HIVE-14152?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Daniel Dai updated HIVE-14152: -- Status: Patch Available (was: Open) > datanucleus.autoStartMechanismMode should set to 'Ignored' to all

[jira] [Updated] (HIVE-14158) deal with derived column names

[ https://issues.apache.org/jira/browse/HIVE-14158?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong updated HIVE-14158: --- Status: Patch Available (was: Open) > deal with derived column names > --

[jira] [Updated] (HIVE-14158) deal with derived column names

[ https://issues.apache.org/jira/browse/HIVE-14158?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong updated HIVE-14158: --- Attachment: HIVE-14158.01.patch > deal with derived column names > ---

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Attachment: (was: HIVE-14004.01.patch) > Minor compaction produces ArrayIndexOutOfBoundsExceptio

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Status: Patch Available (was: Open) > Minor compaction produces ArrayIndexOutOfBoundsException: 7 i

[jira] [Comment Edited] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362017#comment-15362017 ] Matt McCline edited comment on HIVE-14004 at 7/5/16 5:19 AM: -

[jira] [Commented] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362017#comment-15362017 ] Matt McCline commented on HIVE-14004: - The patch includes a bunch of changes originall

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Attachment: HIVE-14004.01.patch > Minor compaction produces ArrayIndexOutOfBoundsException: 7 in >

[jira] [Commented] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15362010#comment-15362010 ] Rui Li commented on HIVE-14156: --- [~libing], is this issue specific to MySQL? > Problem with

[jira] [Assigned] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline reassigned HIVE-14004: --- Assignee: Matt McCline (was: Eugene Koifman) > Minor compaction produces ArrayIndexOutOfBoun

[jira] [Updated] (HIVE-14004) Minor compaction produces ArrayIndexOutOfBoundsException: 7 in SchemaEvolution.getFileType

[ https://issues.apache.org/jira/browse/HIVE-14004?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Matt McCline updated HIVE-14004: Attachment: HIVE-14004.01.patch > Minor compaction produces ArrayIndexOutOfBoundsException: 7 in >

[jira] [Updated] (HIVE-14159) sorting of tuple array using multiple field[s]

[ https://issues.apache.org/jira/browse/HIVE-14159?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Simanchal Das updated HIVE-14159: - Status: Patch Available (was: Open) > sorting of tuple array using multiple field[s] > --

[jira] [Updated] (HIVE-14159) sorting of tuple array using multiple field[s]

[ https://issues.apache.org/jira/browse/HIVE-14159?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Simanchal Das updated HIVE-14159: - Attachment: HIVE-14159.1.patch > sorting of tuple array using multiple field[s] >

[jira] [Updated] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pan Yuxuan updated HIVE-13610: -- Attachment: HIVE-13610.3.patch Change log to slf4j. > Hive exec module won't compile with IBM JDK > ---

[jira] [Commented] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361925#comment-15361925 ] Hive QA commented on HIVE-13610: Here are the results of testing the latest attachment:

[jira] [Commented] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361908#comment-15361908 ] Pan Yuxuan commented on HIVE-13610: --- Updated the patch, please take a look. > Hive exec

[jira] [Updated] (HIVE-13610) Hive exec module won't compile with IBM JDK

[ https://issues.apache.org/jira/browse/HIVE-13610?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pan Yuxuan updated HIVE-13610: -- Attachment: HIVE-13610.2.patch > Hive exec module won't compile with IBM JDK > -

[jira] [Resolved] (HIVE-13277) Exception "Unable to create serializer 'org.apache.hive.com.esotericsoftware.kryo.serializers.FieldSerializer' " occurred during query execution on spark engine when vec

[ https://issues.apache.org/jira/browse/HIVE-13277?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Prasanth Jayachandran resolved HIVE-13277. -- Resolution: Duplicate Fixed by HIVE-14092 > Exception "Unable to create seriali

[jira] [Resolved] (HIVE-12677) StackOverflowError with kryo

[ https://issues.apache.org/jira/browse/HIVE-12677?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Prasanth Jayachandran resolved HIVE-12677. -- Resolution: Duplicate Fixed by HIVE-14092 > StackOverflowError with kryo >

[jira] [Commented] (HIVE-14092) Kryo exception when deserializing VectorFileSinkOperator

[ https://issues.apache.org/jira/browse/HIVE-14092?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361885#comment-15361885 ] Prasanth Jayachandran commented on HIVE-14092: -- Yes. Looks like the same issu

[jira] [Commented] (HIVE-14142) java.lang.ClassNotFoundException for the jar in hive.reloadable.aux.jars.path for Hive on Spark

[ https://issues.apache.org/jira/browse/HIVE-14142?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361851#comment-15361851 ] Ferdinand Xu commented on HIVE-14142: - Thanks [~aihuaxu] for your contribution. LGTM +

[jira] [Updated] (HIVE-14157) deal with ACID operations (insert, update, delete)

[ https://issues.apache.org/jira/browse/HIVE-14157?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong updated HIVE-14157: --- Attachment: DB2BP_Security_RCAC_0412.pdf > deal with ACID operations (insert, update, delete)

[jira] [Updated] (HIVE-14157) deal with ACID operations (insert, update, delete)

[ https://issues.apache.org/jira/browse/HIVE-14157?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong updated HIVE-14157: --- Description: INSERT statement When you issue an INSERT statement against a table for which row

[jira] [Updated] (HIVE-13125) Support masking and filtering of rows/columns

[ https://issues.apache.org/jira/browse/HIVE-13125?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong updated HIVE-13125: --- Description: Traditionally, access control at the row and column level is implemented through

[jira] [Assigned] (HIVE-14157) deal with ACID operations (insert, update, delete)

[ https://issues.apache.org/jira/browse/HIVE-14157?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Pengcheng Xiong reassigned HIVE-14157: -- Assignee: Pengcheng Xiong > deal with ACID operations (insert, update, delete) > --

[jira] [Updated] (HIVE-10815) Let HiveMetaStoreClient Choose MetaStore Randomly

[ https://issues.apache.org/jira/browse/HIVE-10815?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Thejas M Nair updated HIVE-10815: - Resolution: Fixed Fix Version/s: 2.1.0 2.1.1 1.3.0

[jira] [Commented] (HIVE-10815) Let HiveMetaStoreClient Choose MetaStore Randomly

[ https://issues.apache.org/jira/browse/HIVE-10815?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361808#comment-15361808 ] Thejas M Nair commented on HIVE-10815: -- Thanks for the patch [~nemon]! > Let HiveMe

[jira] [Commented] (HIVE-14152) datanucleus.autoStartMechanismMode should set to 'Ignored' to allow rolling downgrade

[ https://issues.apache.org/jira/browse/HIVE-14152?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361772#comment-15361772 ] Thejas M Nair commented on HIVE-14152: -- We already have safety checks in the form of

[jira] [Updated] (HIVE-13264) JDBC driver makes 2 Open Session Calls for every open session

[ https://issues.apache.org/jira/browse/HIVE-13264?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Vaibhav Gumashta updated HIVE-13264: Fix Version/s: 2.1.1 > JDBC driver makes 2 Open Session Calls for every open session > -

[jira] [Commented] (HIVE-13264) JDBC driver makes 2 Open Session Calls for every open session

[ https://issues.apache.org/jira/browse/HIVE-13264?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361764#comment-15361764 ] Vaibhav Gumashta commented on HIVE-13264: - Committed to 2.1.1 as well. > JDBC dri

[jira] [Updated] (HIVE-14080) hive.metastore.schema.verification should check for schema compatiblity

[ https://issues.apache.org/jira/browse/HIVE-14080?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Thejas M Nair updated HIVE-14080: - Resolution: Fixed Fix Version/s: 2.1.1 2.2.0 1.3.0

[jira] [Comment Edited] (HIVE-11338) Method getAutocommit() allways returns true

[ https://issues.apache.org/jira/browse/HIVE-11338?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361653#comment-15361653 ] cristian cadar edited comment on HIVE-11338 at 7/4/16 6:02 PM: -

[jira] [Commented] (HIVE-11338) Method getAutocommit() allways returns true

[ https://issues.apache.org/jira/browse/HIVE-11338?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361653#comment-15361653 ] cristian cadar commented on HIVE-11338: --- why so complicated? it is transacted => tru

[jira] [Commented] (HIVE-13278) Many redundant 'File not found' messages appeared in container log during query execution with Hive on Spark

[ https://issues.apache.org/jira/browse/HIVE-13278?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361612#comment-15361612 ] Sahil Takiar commented on HIVE-13278: - Yes, I agree avoiding this on a higher level wo

[jira] [Commented] (HIVE-7224) Set incremental printing to true by default in Beeline

[ https://issues.apache.org/jira/browse/HIVE-7224?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361610#comment-15361610 ] Sahil Takiar commented on HIVE-7224: Thanks [~vgumashta]! Let me know if you need any h

[jira] [Commented] (HIVE-14139) NPE dropping permanent function

[ https://issues.apache.org/jira/browse/HIVE-14139?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361470#comment-15361470 ] Hive QA commented on HIVE-14139: Here are the results of testing the latest attachment:

[jira] [Commented] (HIVE-14142) java.lang.ClassNotFoundException for the jar in hive.reloadable.aux.jars.path for Hive on Spark

[ https://issues.apache.org/jira/browse/HIVE-14142?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361468#comment-15361468 ] Aihua Xu commented on HIVE-14142: - The test is not related. [~Ferd] It's a simple fix. I

[jira] [Updated] (HIVE-14109) query execuction throws NPE when hive.exec.submitviachild is set to true

[ https://issues.apache.org/jira/browse/HIVE-14109?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Aihua Xu updated HIVE-14109: Resolution: Fixed Fix Version/s: 2.2.0 Status: Resolved (was: Patch Available) Push to ma

[jira] [Commented] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361394#comment-15361394 ] Bing Li commented on HIVE-14156: I noticed that in the schema files under metastore/script

[jira] [Assigned] (HIVE-14156) Problem with Chinese characters as partition value when using MySQL

[ https://issues.apache.org/jira/browse/HIVE-14156?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Bing Li reassigned HIVE-14156: -- Assignee: Bing Li > Problem with Chinese characters as partition value when using MySQL > -

[jira] [Updated] (HIVE-14139) NPE dropping permanent function

[ https://issues.apache.org/jira/browse/HIVE-14139?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Rui Li updated HIVE-14139: -- Attachment: HIVE-14139.2.patch Patch v2 makes the persistent map of className -> refCount. This way, we don't h

[jira] [Commented] (HIVE-14147) Hive PPD might remove predicates when they are defined as a simple node e.g. "WHERE pred"

[ https://issues.apache.org/jira/browse/HIVE-14147?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361207#comment-15361207 ] Jesus Camacho Rodriguez commented on HIVE-14147: [~ashutoshc], fails are u

[jira] [Commented] (HIVE-14143) RawDataSize of RCFile is zero after analyze

[ https://issues.apache.org/jira/browse/HIVE-14143?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361156#comment-15361156 ] Nemon Lou commented on HIVE-14143: -- [~pxiong] The "ids" passed in is just "sizeOfColumnsI

[jira] [Assigned] (HIVE-11338) Method getAutocommit() allways returns true

[ https://issues.apache.org/jira/browse/HIVE-11338?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Abhishek reassigned HIVE-11338: --- Assignee: (was: Abhishek) > Method getAutocommit() allways returns true > ---

[jira] [Assigned] (HIVE-11338) Method getAutocommit() allways returns true

[ https://issues.apache.org/jira/browse/HIVE-11338?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Abhishek reassigned HIVE-11338: --- Assignee: Abhishek > Method getAutocommit() allways returns true > --

[jira] [Assigned] (HIVE-14143) RawDataSize of RCFile is zero after analyze

[ https://issues.apache.org/jira/browse/HIVE-14143?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Abhishek reassigned HIVE-14143: --- Assignee: Abhishek (was: Nemon Lou) > RawDataSize of RCFile is zero after analyze > ---

[jira] [Commented] (HIVE-14148) Add branch-2.1 branch to pre-commit tests

[ https://issues.apache.org/jira/browse/HIVE-14148?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15361010#comment-15361010 ] Lefty Leverenz commented on HIVE-14148: --- Doc note: This should be documented in the

[jira] [Updated] (HIVE-14148) Add branch-2.1 branch to pre-commit tests

[ https://issues.apache.org/jira/browse/HIVE-14148?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Lefty Leverenz updated HIVE-14148: -- Labels: TODOC2.1 (was: ) > Add branch-2.1 branch to pre-commit tests >

[jira] [Commented] (HIVE-13974) ORC Schema Evolution doesn't support add columns to non-last STRUCT columns

[ https://issues.apache.org/jira/browse/HIVE-13974?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15360971#comment-15360971 ] Hive QA commented on HIVE-13974: Here are the results of testing the latest attachment:

[jira] [Commented] (HIVE-14057) Add an option in llapstatus to generate output to a file

[ https://issues.apache.org/jira/browse/HIVE-14057?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15360958#comment-15360958 ] Lefty Leverenz commented on HIVE-14057: --- Should the outputFile option be documented

[jira] [Work stopped] (HIVE-13925) ETL optimizations

[ https://issues.apache.org/jira/browse/HIVE-13925?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Work on HIVE-13925 stopped by Abhishek. --- > ETL optimizations > - > > Key: HIVE-13925 >

[jira] [Work started] (HIVE-13925) ETL optimizations

[ https://issues.apache.org/jira/browse/HIVE-13925?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Work on HIVE-13925 started by Abhishek. --- > ETL optimizations > - > > Key: HIVE-13925 >

[jira] [Commented] (HIVE-13744) LLAP IO - add complex types support

[ https://issues.apache.org/jira/browse/HIVE-13744?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15360948#comment-15360948 ] Lefty Leverenz commented on HIVE-13744: --- Does this need to be documented in the wiki

[jira] [Commented] (HIVE-14021) When converting to CNF, fail if the expression exceeds a threshold

[ https://issues.apache.org/jira/browse/HIVE-14021?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15360939#comment-15360939 ] Lefty Leverenz commented on HIVE-14021: --- Doc note: This adds *hive.cbo.cnf.maxnodes

[jira] [Updated] (HIVE-14021) When converting to CNF, fail if the expression exceeds a threshold

[ https://issues.apache.org/jira/browse/HIVE-14021?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Lefty Leverenz updated HIVE-14021: -- Labels: TODOC2.1.1 TODOC2.2 (was: ) > When converting to CNF, fail if the expression exceeds a