removed #include "cvc4_public" from QuantifierEliminate.cpp