Incorrect. Suppose L = [1,2]. The function computes sL = [2], which it does not use. Then it returns successors([2]), which is [3] if successors is implemented correctly.
This function actually returns an empty list regardless of what L is.