QuantifierEliminate has been made CVC4_PUBLIC