Hi, I'm introducing myself into klee, and I'm wondering why does klee restrict queries and transforms all them into bitvectors?. Wouldn't it be faster and easier to keep integer expressions as is, and transform only what is necessary because of bitwise operations such as &.|,^ ...? Thanks