remove lingering references to TrueLegalSuccessors()