let descr = "put the postdominators of function <f> in basename.f.dot"