BackwardsGraph needs to consider back edges as the backward's root successor