fixed isSuccessorSameFor() bug