add is_successor method