Answer to Question s10
Incorrect.
Successors(
L
) calls successors(
L
). That is an infinite recursion.