working on Lifted SMT, and I was going to develope a lifted translator, but for now I wanna to work on domain with range (Mr. Feyzbakhsh's Idea)