remove dependence of SymbolicInteger on Z3