Add a simple graph datatype that can work out the dominators for every node