public RemoveQuantifiers(FOLParser parser) { this.parser = parser; substVisitor = new SubstVisitor(); }