fixed a bug in conver_quantexpr: forgot to convert the quantification domain