HIVE-9166: Place an upper bound for SARG CNF conversion (Prasanth Jayachandran reviewed by Owen O'Malley)