An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph