public StandardizeQuantiferVariables(SubstVisitor substVisitor) { this.substVisitor = substVisitor; }