removed old quantifier_elimination directory