def generalize_retval(self, desc, arg):
desc.consider_return(model.guess_type(arg))
def generalize_args(self, desc, frame):
args = [arg for key, arg in frame.getargs()]
#self.call_stack.append((desc, args))
desc.consider_call([model.guess_type(arg) for arg in args])
