...
we can remove the assumption that start is in the interfaces
succ is empty if start is not in hte interfaces