Add immediate_dominators to documentation