Added successor() test