let
descr =
"Compute dominators and postdominators of statements"