added test case for bvbin constant > 64bit, extended 64bit tests
added test case for bvbin constant > 64bit, extended 64bit tests

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