moved QuantifierEliminate to namespace CVC4::smt