removed stack emulation from Z3_Backend SMT-LIB2 evaluator
removed stack emulation from Z3_Backend SMT-LIB2 evaluator

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