simplify logic of is_successor method