let descr = "Compute dominators and postdominators of statements"