code: def visit_Return(self, node):
          
          self.generic_visit(node)
          # No merge are done if the function is a generator.
          if not self.yield_points:
              assert node.value, "Values were added in each return statement."
              self.combine(self.current, node.value)
docs: Compute return type and merges with others possible return type.