implemented support for bit-widths greater than 64 in SMT2 backend bvsint_tag
implemented support for bit-widths greater than 64 in SMT2 backend bvsint_tag

nbruns1/metaSMT,agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT