Before revision: Any node to which an edge leads from is a predecessor of .
After revision: Any node to which an edge leads from is a successors of .