Changed all const Expr& to Expr in the parameter of prenexing and nnf functions of QuantifierEliminate.cpp and .h files