def METHOD_NAME(self):
    def basic_eg(x):
        # live = {x}
        y = x + 1
        # live = {y}
        x = 1
        # live = {y}
        return y + 1
    self.assertLiveness(basic_eg, [["x"], ["y"], ["y"]])