Answer to Question s2
Type error.
Expression isEmpty(
L
) returns a boolean value. But successors is supposed to return a list.