Как скрыть переменную в Z3

Скажем, у меня есть

t1<x and x<t2

можно ли скрыть переменную x так, чтобы t1<t2в Z3?