20:37:29pnpHi all. I have a doubt related to predecessors in a graph. If you consider the example here https://en.wikipedia.org/wiki/Dominator_(graph_theory) is node 5 a predecessor of node 2? I know is not related with the topic but i'm asking trying to understand the iterative construction of the dominator. If i consider only node 1 as predecessor