changed return type of eliminate quantifier to Node