Fixed tseitin transformation of numerical ops.