'Finalizes the request.'

def _finalize(self):

    if (len(self.all_successors) == 0):
        return
    if (o.DOWNSIZE_Z3 in self.all_successors[0].options):
        for s in self.all_successors:
            s.downsize()
    if ((len(self.flat_successors) == 1) and (len(self.unconstrained_successors) == 0)):
        self.flat_successors[0].scratch.avoidable = False
