Traverse Evaluation Order Graph in backward direction.
Iterator over successors.
Current node in EOG.