fill in GetSuccessors and tested