moved struct declaration to QuantifierEliminate.cpp