Compute post-dominators
Add visualisation for immediate post-dominators