implemented reading from select expressions in SMT2 (fixes Array/read_value_t)
implemented reading from select expressions in SMT2 (fixes Array/read_value_t)

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